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

DOI10.1007/978-3-319-08867-9_57zbMATH Open1296.68004OpenAlexW243658426MaRDI QIDQ2920992FDOQ2920992

Authors: Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 

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

Recommendations

• Types for Proofs and Programs
• CAQE and QuAbS: Abstraction Based QBF Solvers
• Formal Methods in Computer-Aided Design
• A query language for formal mathematical libraries
• scientific article; zbMATH DE number 4082960
• \(QPC_ 2\): A constructive calculus with parameterized specifications
• Coquelicot: a user-friendly library of real analysis for Coq
• Quantitative abstraction refinement
• On the expressiveness of QCTL

Mathematics Subject Classification ID

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

Cited In (2)

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

Uses Software

• Apron
• SLAyer
• FixBag

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2920992)