Semantics-based generation of verification conditions via program specialization☆
Under an Elsevier user license
open archive
Keywords
Horn clauses
Program verification
Program specialization
Semantics of programming languages
Software model checking
Cited by (0)
© 2016 Elsevier B.V.