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

DOI10.1007/978-3-319-08867-9_57zbMath1296.68004OpenAlexW243658426MaRDI QIDQ2920992

Sriram Sankaranarayanan, Arlen Cox, Bor-Yuh Evan Chang

Publication date: 29 September 2014

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08867-9_57

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05) Theory of software (68N99) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (2)

An array content static analysis based on non-contiguous partitions ⋮ Quicr

Uses Software

• Apron
• SLAyer
• FixBag

This page was built for publication: QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers