Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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