Tag: automata-theory
1 packages with this tag
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
model-checking
ltl
formal-methods
Package
Description
Version
ltl2ba
☆
formula
Translate LTL formulae to Buchi automata