Efficient generation of counterexamples and witnesses in symbolic model checking

Publisher Website

1 January 1995

proceedings article
Published by Association for Computing Machinery (ACM)

p. 427-432
https://doi.org/10.1145/217474.217565

Abstract

No abstract available

Cited by 95 articles