Verification condition generator

[Google Scholar] [Wikipedia]

Notes: Boogie verifier

todo

Examples include Boogie verifier

Boogie verifier, Viper verifier

Boogie: A modular reusable verifier for object-oriented programs [barnett:fmco:2005]
Efficient state merging in symbolic execution [kuznetsov:pldi:2012]

The opinions expressed are my own views and not my employer’s.