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

	University of South Carolina Division of Law Enforcement and Safety Daily Crime Log Nature Case # DocID: 1vrmq - View Document
	CASE STUDY PRIVATE MARKETPLACE – GUARANTEED (PMP-G) For advertisers and publishers looking for the scale and data advantages of the open market, with the predictability and brand safety of direct sold campaigns, Priva DocID: 1vqMI - View Document
	Case Study Grand River Hospital How Do You Monitor 300 Alarms, Improve Patient Safety And Increase Staff Peace Of Mind? ABOUT GRAND RIVER HOSPITAL Grand River Hospital is a 470-bed comprehensive community DocID: 1vqxu - View Document
	SPEED MANAGEMENT Case Study Reducing Excessive Speeding in Rural Communities in Iowa BACKGROUND In rural areas, many communities are located along higher-speed roadways, but have much lower speed DocID: 1v3Tp - View Document
	Case Study Providence Healthcare Optimizing Workflow To Increase Resident Safety About Providence DocID: 1v2WU - View Document