String abstraction for model checking of C programs

DOI10.1007/978-3-030-30923-7_5OpenAlexW2977534611MaRDI QIDQ6198467

Henrich Lauko, Martina Olliaro, Agostino Cortesi, 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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Relational string abstract domains ⋮ String abstract domains and their combination

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