A Rule-based Verification Strategy for Array Manipulating Programs

DOI10.3233/FI-2015-1257zbMath1348.68131MaRDI QIDQ3187012

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

Publication date: 15 August 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (2)

Unnamed Item ⋮ Predicate Pairing for program verification

This page was built for publication: A Rule-based Verification Strategy for Array Manipulating Programs