A case study on model checking and deductive verification techniques of safety-critical software

Due to the growing importance of the role that software plays in critical systems, software verification process is required to be rigorous and reliable. It is well-known that test activities cannot detect all the defects in safety-critical real time software systems. One way of complementing the te...

Full description

Bibliographic Details
Main Author: Silva, Rovedy Aparecida Busquim e (author)
Other Authors: Oliveira, José Manuel Parente de (author), Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2012
Subjects:
Model Checking
Deductive Verification
Safety-critical Software
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Ciências Naturais::Ciências da Computação e da Informação
Online Access:http://hdl.handle.net/1822/35228
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/35228

Internet

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

Similar Items