String abstraction for model checking of C programs

DOI10.1007/978-3-030-30923-7_5MaRDI QIDQ6198467zbMATH OpenOpenAlexFDO

Authors Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Ročkai

Publication date 23 February 2024

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10278/3721099

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• On strings in software model checking
• scientific article; zbMATH DE number 1903343
• Formal verification for C program
• scientific article; zbMATH DE number 1953018
• scientific article; zbMATH DE number 1701764

Cited in

(3)

• Relational string abstract domains
• String abstract domains and their combination
• On strings in software model checking

This page was built for publication: String abstraction for model checking of C programs

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