123
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...