Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: ltl2ba - Fast translation from LTL formulas to Büchi automata https://bugzilla.redhat.com/show_bug.cgi?id=619831 Summary: Review Request: ltl2ba - Fast translation from LTL formulas to Büchi automata Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx Estimated Hours: 0.0 Classification: Fedora Spec URL: http://www.dwheeler.com/SPECS/ltl2ba.spec SRPM URL: http://www.dwheeler.com/SRPMS/ltl2ba-1.1-1.fc13.src.rpm Description: Translate from Linear temporal logic (LTL) formulas to Büchi automata. LTL is a type of formal logic that extends formal logic with qualifiers involving time. A Büchi automaton is the extension of a finite state automaton to infinite inputs, and are useful for specifying behavior of non-terminating systems (such as hardware or operating systems). A Büchi automaton accepts an infinite input sequence if and only if there exists a run of the automaton which visits at least one of the final states infinitely often. The implementation is based on the translation algorithm by Gastin and Oddoux, presented at the CAV Conference, held in 2001, Paris, France 2001. This package is a useful extension for Frama-C. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review