Loop invariants
From MaRDI portal
Publication:5176169
DOI10.1145/2506375zbMath1305.68054arXiv1211.4470OpenAlexW4295882484MaRDI QIDQ5176169
Sergey Velder, Carlo A. Furia, Bertrand Meyer
Publication date: 2 March 2015
Published in: ACM Computing Surveys (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.4470
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Uses Software
Cites Work
- Modeling time in computing.
- An axiomatic proof technique for parallel programs
- Affine relationships among variables of a program
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- Proof of correctness of data representations
- Behavioral interface specification languages
- Differential-algebraic Dynamic Logic for Differential-algebraic Programs
- Non-linear loop invariant generation using Gröbner bases
- Inferring Loop Invariants Using Postconditions
- Grammar Analysis and Parsing by Abstract Interpretation
- Mathematical Theory Exploration
- Proving the Correctness of Multiprocess Programs
- Verification: Theory and Practice
- Model Checking Software
- Invariant Synthesis for Combined Theories
- An axiomatic basis for computer programming
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Algorithms and Data Structures
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Loop invariants
