Deciding Bit−Vector Arithmetic with Abstraction
Randal E. Bryant‚ Daniel Kroening‚ Joel Ouaknine‚ Sanjit A. Seshia‚ Ofer Strichman and Bryan Brady
Details
| Book Title |
Proceedings of TACAS 2007 |
| Pages |
358–372 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
4424 |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Projects |
|
|
Activities |
|
|
Themes |