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

	Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems Bo-Yin Yang1, , Chen-Mou Cheng2 , Bor-Rong Chen2 , and Jiun-Ming Chen3 1 3 DocID: 1xVOQ - View Document
	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 DocID: 1xUHI - View Document
	F e b r uar yGuiding Embedded Designers on Systems and Technologies Engineers’ Guide to PC/104 & Embedded SFF DocID: 1xUCn - View Document
	1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science DocID: 1xTwc - View Document
	Protecting Bare-metal Embedded Systems With Privilege Overlays Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Pur DocID: 1xTbD - View Document