Repair of Boolean Programs with an Application to C

DOI10.1007/11817963_33zbMath1188.68188OpenAlexW1872701416MaRDI QIDQ5756732

Roderick Bloem, Byron Cook, Andreas Griesmayer

Publication date: 5 September 2007

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817963_33

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Finding and fixing faults ⋮ Program repair without regret

This page was built for publication: Repair of Boolean Programs with an Application to C