QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08867-9_57 ◽

2014 ◽

pp. 866-873 ◽

Author(s):

Arlen Cox ◽

Bor-Yuh Evan Chang ◽

Sriram Sankaranarayanan

Download Full-text