10 search results - page 1 / 2 » cav 2000 |
CAV
2000
Springer
13 years 8 months ago
2000
Springer
CAV
2000
Springer
13 years 9 months ago
2000
Springer
CAV
2000
Springer
13 years 9 months ago
2000
Springer
CAV
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
CAV
2000
Springer
13 years 8 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...