Verified software units
DOI10.1007/978-3-030-72019-3_5zbMATH Open1473.68035OpenAlexW3136796399MaRDI QIDQ2233451FDOQ2233451
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-72019-3_5
positive subtypingabstract predicate declarationresidual predicateverified software toolchainverified software unit
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Types and programing languages
- Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
- Comparing object encodings.
- Separation logic and abstraction
- Modular invariants for layered object structures
- Hoare logic and auxiliary variables
- Mathematics of Program Construction
- Separation logic, abstraction and inheritance
- Logic for Programming, Artificial Intelligence, and Reasoning
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Program Logics for Certified Compilers
- Fickle: Dynamic Object Re-classification
- Logic for Programming, Artificial Intelligence, and Reasoning
- Proof-carrying code from certified abstract interpretation and fixpoint compression
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
- Positive subtyping
- Deep specifications and certified abstraction layers
- Local Reasoning for Global Invariants, Part II
- A syntactic approach to foundational proof-carrying code
- Verified software units
- Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
- Considerate Reasoning and the Composite Design Pattern
Cited In (2)
Uses Software
This page was built for publication: Verified software units
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233451)
