Predicate pairing with abstraction for relational verification

DOI10.1007/978-3-319-94460-9_17OpenAlexW2817358458MaRDI QIDQ1671163

Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi, Emanuele De Angelis

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1709.04809

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: Predicate pairing with abstraction for relational verification