A comparative study of verification condition generators

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

Bibliographic Details
Main Author: Fialho, Diogo (author)
Other Authors: Pinto, Jorge Sousa (author)
Format: other
Language:eng
Published: 2008
Subjects:
Verification conditions
Program verification
Online Access:http://hdl.handle.net/1822/8107
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/8107

Internet

http://hdl.handle.net/1822/8107

Similar Items