Open aplatzer opened 1 year ago
Course code, if applicable: University hosting the course: Karlsruhe Institute of Technology and Carnegie Mellon University Contact person: André Platzer, platzer@kit.edu Concepts taught: Automated Reasoning,Axiomatisation,Axiomatic Semantics ,Deductive Software Verification,Deductive Proof,Deductive Verification ,Denotational Semantics,Formal Specification,Hoare Logic,Induction,Interactive Theorem Proving,Logic,Modal Logics ,Proofs,Proof Assistants,Specification,Theorem Proving Tools used: KeYmaera X Webpage: https://lfcps.org/course/lfcps.html Year/Level: 3 Reviewed: 2023/12/23
Course code, if applicable: University hosting the course: Karlsruhe Institute of Technology and Carnegie Mellon University Contact person: André Platzer, platzer@kit.edu Concepts taught: Automated Reasoning,Axiomatisation,Axiomatic Semantics ,Deductive Software Verification,Deductive Proof,Deductive Verification ,Denotational Semantics,Formal Specification,Hoare Logic,Induction,Interactive Theorem Proving,Logic,Modal Logics ,Proofs,Proof Assistants,Specification,Theorem Proving Tools used: KeYmaera X Webpage: https://lfcps.org/course/lfcps.html Year/Level: 3 Reviewed: 2023/12/23