235 search results - page 1 / 47 » A Symbolic Symbolic State Space Representation |
FORTE
2004
14 years 8 days ago
2004
CAV
2005
Springer
14 years 4 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
DDECS
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
ICCD
1995
IEEE
14 years 2 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
FORMATS
2010
Springer
13 years 9 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...