146
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
130
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
109
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
139
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
146
click to vote
CASES
2000
ACM
15 years 7 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...