A comparative study of verification condition generators

• Author(s): Fialho, Diogo ; Pinto, Jorge Sousa
• Date: 2008
• Persistent ID: http://hdl.handle.net/1822/8107
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Verification conditions; Program verification
• Document Type: Other
• Language: English

Description

We propose an empirical comparison of two VCGen algorithms for imperative languages