Skip to main content

Computational Challenges in Bounded Model Checking

Edmund Clarke‚ Daniel Kroening‚ Joel Ouaknine and Ofer Strichman

Journal
Software Tools for Technology Transfer (STTT)
Month
April
Number
2
Pages
174–183
Publisher
Springer
Volume
7
Year
2005