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

DOI10.1007/978-3-319-08867-9_57MaRDI QIDQ2920992zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(2)

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

Describes a project that uses

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)