Semantics and Verification of Software - Lecture

• cours magistral
• exposé

Semantics and Verification of Software Lecture 13: Axiomatic Semantics of WHILE V (Semantic Equivalence) Thomas Noll Lehrstuhl fur Informatik 2 (Software Modeling and Verification) Winter Semester 2011/12

• syntactic derivation
• following propositions
• finite subset of program
• encoding of states by assertions
• hoare rules
• axiomatic equivalence
• partial correctness properties
• software
• semantics