An approach to model checking Ada programs

This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automati- cally extracts a model in SPIN from an Ada Program, together with a set of properties that state the correctness of the model. ATOS is also capable of extracting properti...

Full description

Bibliographic Details
Main Author: Faria, José Miguel (author)
Other Authors: Martins, J. (author), Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2012
Subjects:
Formal verification
Model cheking
SPIN
Ada programs
Online Access:http://hdl.handle.net/1822/14931
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/14931

Internet

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

Similar Items