Approximation Refinement for Interpolation−Based Model Checking
Vijay D'Silva‚ Mitra Purandare and Daniel Kroening
Details
| Book Title |
Proceedings of VMCAI 2008 |
| Pages |
68–82 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4905 |
| Year |
2008 |
Links
Related pages
|
People |