Skip to main content

Deciding Bit−Vector Arithmetic with Abstraction

Randal E. Bryant‚ Daniel Kroening‚ Joel Ouaknine‚ Sanjit A. Seshia‚ Ofer Strichman and Bryan Brady

Book Title
Proceedings of TACAS 2007
Pages
358–372
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4424
Year
2007