228 search results - page 15 / 46 » On-the-fly symbolic model checking for real-time systems |
136
Voted
RTSS
1997
IEEE
15 years 6 months 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....
117
click to vote
ATVA
2009
Springer
15 years 8 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...
FORTE
2007
15 years 3 months ago
2007
92
Voted
LICS
1992
IEEE
15 years 5 months ago
1992
IEEE
132
Voted
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...