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

First Page		Document Content
Date: 2017-07-21 11:03:15 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 Source URL: mebsout.github.io Download Document from Source Website File Size: 353,71 KB Share Document on Facebook

	RTI Connext® DDS Cert Safety-Certifiable Connectivity Platform Connext® DDS Cert is a safety-certifiable communications infrastructure with an available DO-178C Level A Certification Package. Based on the DDS standard, DocID: 1l5AM - View Document
	PDF Document DocID: 1kU7U - View Document
	NOTES ON AGILE AND SAFETY-CRITICAL DEVELOPMENT Jaana Nyfjord jaananyfjord DocID: 18uk9 - View Document
	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST DocID: 18eWB - View Document
	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 DocID: 17Xqw - View Document