11 search results - page 3 / 3 » Sat-based Model Checking for Region Automata |
177
Voted
FORMATS
2004
Springer
16 years 7 days 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...