Trace-based deductive verification

DOI10.29007/VDFDMaRDI QIDQ7025226zbMATH OpenFDO

Authors Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

Publication date 19 February 2025

zbMATH Keywords

symbolic executiondeductive verificationcontract based reasoningmu calculustrace contracts

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: Trace-based deductive verification

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