Open gernst opened 3 years ago
Course code, if applicable: University hosting the course: LMU Munich Contact person: Gidon Ernst, gidon.ernst@lmu.de Concepts taught: Automated Reasoning,Axiomatic Semantics ,Behavioural Equivalences,Formal Specification,Hoare Logic,Labelled Transition Systems,Linear Temporal Logic (LTL),Model Checking,Model-Oriented ,SAT,SMT,Specification,Tool-Based Testing Tools used: Dafny,Java,Z3 Webpage: https://uni2work.ifi.lmu.de/course/W20/IfI/FSV1 Year/Level: 3 Reviewed: 2021/06/23
Course code, if applicable: University hosting the course: LMU Munich Contact person: Gidon Ernst, gidon.ernst@lmu.de Concepts taught: Automated Reasoning,Axiomatic Semantics ,Behavioural Equivalences,Formal Specification,Hoare Logic,Labelled Transition Systems,Linear Temporal Logic (LTL),Model Checking,Model-Oriented ,SAT,SMT,Specification,Tool-Based Testing Tools used: Dafny,Java,Z3 Webpage: https://uni2work.ifi.lmu.de/course/W20/IfI/FSV1 Year/Level: 3 Reviewed: 2021/06/23