'Hoare style triples' presentation slideshows

Using Coq to generate and reason about x86 systems code

Using Coq to generate and reason about x86 systems code. Andrew Kennedy & Nick Benton (MSR Cambridge) Jonas Jensen (ITU Copenhagen). The big picture. Compositional specification and verification of high-level behavioural properties of low-level systems code

517 views • 42 slides