15:2915:29, 29 June 2013diffhist+449
N
Verification condition generator
←Created page with 'A '''verification condition generator'' is a component of a program verifier that synthesizes formal verification conditions by analyzing a program's source code...'
15:2915:29, 29 June 2013diffhist+449
N
Verification condition generator
←Created page with 'A '''verification condition generator'' is a component of a program verifier that synthesizes formal verification conditions by analyzing a program's source code...'