A correctness and incorrectness program logic

DOI10.1145/3582267MaRDI QIDQ7032172zbMATH OpenFDO

Authors Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

Publication date 5 February 2025

Published in Journal of the ACM (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationprogram verificationprogram analysisprogram logiclocal completenessabstract domainincorrectness logicbest correct approximation

Mathematics Subject Classification ID

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

This page was built for publication: A correctness and incorrectness program logic

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