scientific article
From MaRDI portal
Publication:3384903
Adrián Palacios, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Emanuele De Angelis
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.04770
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Verifying Array Programs by Transforming Verification Conditions
- A Rule-based Verification Strategy for Array Manipulating Programs
- An iterative approach to precondition inference using constrained Horn clauses
- Program Verification using Constraint Handling Rules and Array Constraint Generalizations*
- Predicate Pairing for program verification
- Optimal dynamic partial order reduction
- Program Development in Computational Logic
This page was built for publication:
