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
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)
Uses Software
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)