Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / IP / Integration by substitution / Hoare logic / Substitution / Mathematical proof / KeY / Predicate transformer semantics / Verification condition generator / Initialization / Linear temporal logic


A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2
Add to Reading List

Open Document

File Size: 164,43 KB

Share Result on Facebook