José Miguel Faria

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automatically 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 properties from user-provided annotations in Ada programs, inspired(More)
  • 1