148
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...