SMT Techniques for Fast Predicate Abstraction

Shuvendu K. Lahiri, Robert Nieuwenhuis, and Albert Oliveras

Details

Publication typeInproceedings
Published inConference on Computer Aided Verification (CAV '06)
Pages424-437
Volume4144
SeriesLecture Notes in Computer Science
ISBN3-540-37406-X
PublisherSpringer
> Publications > SMT Techniques for Fast Predicate Abstraction