Ideas Rices Theorem Correct by Construction Program Synthesis Program Synthesis Planning Algorithms Formal Methods Formal Methods Formal Specification Formal Synthesis Formal Verification Specifications Specification Language Z Notation