11 search results - page 3 / 3 » Sat-based Model Checking for Region Automata |
113
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...