scientific article; zbMATH DE number 7364137

MaRDI QIDQ4997232zbMATH OpenFDO

Authors Emanuele De Angelis, Fabio Fioravanti, Jorge Navas, Maurizio Proietti

Publication date 28 June 2021

Full work available at URL https://arxiv.org/abs/1412.1151, http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2014.3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 868107
• Sharper and Simpler Nonlinear Interpolants for Program Verification
• scientific article; zbMATH DE number 4024753
• Verification by abstract interpretation
• Verified functional programming of an abstract interpreter
• Integrated approach to analysis and verification of imperative programs
• Verification of concrete programs with respect to abstract programs
• Verifying programs in the calculus of inductive constructions
• Programmable verifiers in imperative programming

Cited in

(3)

• An iterative approach to precondition inference using constrained Horn clauses
• Program verification with interacting analysis plugins
• Polycheck: dynamic verification of iteration space transformations on affine programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4997232)