A generalized approach to verification condition generation

In a world where many human lives depend on the correct behavior of software systems, program verification assumes a crucial role. Many verification tools rely on an algorithm that generates verification conditions (VCs) from code annotated with properties to be checked. In this paper, we revisit tw...

Full description

Bibliographic Details
Main Author: Belo Lourenco, Claudio (author)
Other Authors: Frade, M. J. (author), Nakajima, Shin (author), Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2018
Subjects:
Bounded model checking of software
Deductive verification
Program verification
Verification condition generator
Online Access:http://hdl.handle.net/1822/66208
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/66208

Internet

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

Similar Items