Sciweavers

ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
14 years 3 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
TACAS
2001
Springer
92views Algorithms» more  TACAS 2001»
14 years 3 months ago
Language Containment Checking with Nondeterministic BDDs
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
Bernd Finkbeiner