3 search results - page 1 / 1 » Saturation: An Efficient Iteration Strategy for Symbolic Sta... |
TACAS
2001
Springer
13 years 9 months ago
2001
Springer
APN
2000
Springer
13 years 9 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 5 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, ...