Back to Results
First PageMeta Content
Software engineering / Computing / Avionics / Engineering / Systems engineering / Software requirements / Embedded systems / Safety engineering / DO-178C / Formal methods / Alt-Ergo / Model checking


Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1
Add to Reading List

Document Date: 2017-07-21 11:03:15

Open Document

File Size: 353,71 KB

Share Result on Facebook