Computing Over−Approximations with Bounded Model Checking
Daniel Kroening
Details
| Book Title |
Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005) |
| Month |
January |
| Pages |
79–92 |
| Publisher |
Elsevier |
| Series |
ENTCS |
| Volume |
144 |
| Year |
2006 |
Links
Related pages
|
People |