LogoopenSUSE Build Service > Projects
Sign Up | Log In

LTL 2 BA: Translator from LTL to Büchi automata

Translator needed as part of frama-c.

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions
ltl2ba-1.1.tar.gz 28.9 KB about 6 years ago Download File
ltl2ba.changes 335 Bytes about 6 years ago Download File
ltl2ba.spec 1.4 KB over 2 years ago Download File

Comments for home:lorenz:formal (0)