Counter-example guided program verification

DOI10.1007/978-3-319-48989-6_2MaRDI QIDQ2281622zbMATH OpenOpenAlexFDO

Authors Parosh A. Abdulla, Mohamed Faouzi Atig, Bui Phi Diep

Publication date 3 January 2020

Full work available at URL https://doi.org/10.1007/978-3-319-48989-6_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Thread-modular counterexample-guided abstraction refinement
• scientific article; zbMATH DE number 1670775
• Counterexample-guided abstraction refinement for symmetric concurrent programs
• Formal verification for C program
• Predicate abstraction for program verification

Cited in

(3)

• Thread-modular counterexample-guided abstraction refinement
• Concurrent program verification with invariant-guided underapproximation
• Trace Abstraction-Based Verification for Uninterpreted Programs

This page was built for publication: Counter-example guided program verification

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