Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1

First Page		Document Content
Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant		Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Download Document from Source Website File Size: 158,63 KB Share Document on Facebook

	ORIGINAL ARTICLE A spatial vulnerability analysis of multi-hazard threat in ZayandehRoud basin in Isfahan, Isfahan province, Iran Maryam Marani-Barzani PhD1, Saeid Eslamian Prof2, Kaveh Ostad-Ali-Askari PhD3, Shahide De DocID: 1uTpg - View Document
	RISK ASSESSMENT – MANAGEMENT WORKSHEET (Job Hazard Analysis) 1. Branch – Division 2. Incident Name DocID: 1uSez - View Document
	A New Approach to Hazard Analysis for Complex Systems Nancy G. Leveson, Ph.D.; Massachusetts Institute of Technology, Cambridge, MA Abstract DocID: 1uRQd - View Document
	DOGAMI Interpretive Map 57, Landslide Hazard and Risk Study of Central and Western Multnomah County, Oregon; Appendix C: Hazus Analysis Run Results DocID: 1uz28 - View Document
	Cartographic Analysis of Avalanche Hazard Maps Cartographic Analysis of Avalanche Hazard Maps A Comparison of Relevant Cartographic Factors for the Visualization of the Avalanche Bulletin DocID: 1urj8 - View Document