SMT Techniques for Fast Predicate Abstraction
Shuvendu K. Lahiri, Robert Nieuwenhuis, and Albert Oliveras
2006
 PDF file |
In: Conference on Computer Aided Verification (CAV '06)
Publisher: Springer
Details
| Type: | Inproceedings |
| Pages: | 424-437 |
| Volume: | 4144 |
| Series: | Lecture Notes in Computer Science |
| ISBN: | 3-540-37406-X |
Related People
©2009 Microsoft Corporation. All rights reserved.