Verification condition generator

[Google Scholar] [Wikipedia]

Notes: Boogie verifier

todo

Examples include Boogie verifier


Boogie verifier, Viper verifier