16 search results - page 4 / 4 » tase 2007 |
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...