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