An abstraction-based decision procedure for bit-vector arithmetic

✍ Scribed by Randal E. Bryant; Daniel Kroening; Joël Ouaknine; Sanjit A. Seshia; Ofer Strichman; Bryan Brady

• Publisher: Springer
• Year: 2009
• Tongue: English
• Weight: 381 KB
• Volume: 11
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-009-0101-x