3 search results - page 1 / 1 » Saturation: An Efficient Iteration Strategy for Symbolic Sta... |
TACAS
2001
Springer
14 years 3 months ago
2001
Springer
APN
2000
Springer
14 years 2 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
FMSD
2007
13 years 10 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...