Back to Results
First PageMeta 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

Open Document

File Size: 158,63 KB

Share Result on Facebook