scientific article; zbMATH DE number 7364137

zbMATH Open1464.68198arXiv1412.1151MaRDI QIDQ4997232FDOQ4997232

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)