Tag: automata
1 packages with this tag
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
ltl
c++
library
model-checking
Package
Description
Version
spot
☆
formula
Platform for LTL and ω-automata manipulation
2.14.4