MetaVal: witness validation via verification

DOI10.1007/978-3-030-53291-8_10zbMath1478.68145OpenAlexW3043762393MaRDI QIDQ2226734

Martin Spiessl, Dirk Beyer

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_10

zbMATH Keywords

program analysissoftware verificationcertificationcomputer-aided verificationsoftware model checkingreducervalidation of verification resultsverification witnesses

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Reusing predicate precision in value analysis

This page was built for publication: MetaVal: witness validation via verification