Computational Challenges in Bounded Model Checking
Edmund Clarke‚ Daniel Kroening‚ Joel Ouaknine and Ofer Strichman
Details
| Journal |
Software Tools for Technology Transfer (STTT) |
| Month |
April |
| Number |
2 |
| Pages |
174–183 |
| Publisher |
Springer |
| Volume |
7 |
| Year |
2005 |
Links
Related pages
|
People |