[Bug 619831] New: Review Request: ltl2ba - Fast translation from LTL formulas to Büchi automata

[bugzilla at redhat.com]

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 at fedoraproject.org
        ReportedBy: dwheeler at dwheeler.com
         QAContact: extras-qa at fedoraproject.org
                CC: notting at redhat.com, fedora-package-review at redhat.com
   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.