231 search results - page 15 / 47 » Symbolic Model Checking for Event-Driven Real-Time Systems |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
RTSS
1997
IEEE
14 years 21 days ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
LICS
1992
IEEE
14 years 17 days ago
1992
IEEE
FORTE
2007
13 years 10 months ago
2007
