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

	Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE DocID: 1xT6q - View Document
	What System Safety Engineering Can Learn from the Columbia Accident Nancy G. Leveson, Ph.D.; MIT; Cambridge, MA Joel Cutcher-Gershenfeld, Ph.D.; MIT; Cambridge, MA Abstract An accident investigation allows a view into an DocID: 1vmVD - View Document
	25 FEIIC International Journal of Engineering and Technology, Vol. 14, No.1, 2017, ppDESIGN IMPROVEMENT OF MULTI-PURPOSE DISPOSABLE SAFETY SYRINGE DocID: 1vizH - View Document
	Use of Performance-Based Collapse Analyses to Assess the Structural Collapse Safety of Buildings Gregory Deierlein J.A.Blume Professor of Engineering Stanford University DocID: 1veva - View Document
	A Review, Analysis and Comments on Engineering Critical Assessments as proposed in PHMSA’s Proposed Rule on Safety Of Gas Transmission and Gathering Pipelines DocID: 1uUts - View Document