Verification Constraint Problems with Strengthening

DOI10.1007/11921240_3zbMath1168.68421OpenAlexW1560773708MaRDI QIDQ3525138

Aaron R. Bradley, Zohar Manna

Publication date: 11 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11921240_3

Mathematics Subject Classification ID

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

Related Items

When Is a Formula a Loop Invariant? ⋮ On invariant checking ⋮ Property-directed incremental invariant generation