Open oanaandrei opened 3 years ago
Course code, if applicable: COMPSCI4031 University hosting the course: University of Glasgow Contact person: Dr Oana Andrei, oana.andrei@glasgow.ac.uk Concepts taught: Applied Formal Methods, Automated Reasoning, Behavioural Equivalences, Formal Specification, Labelled Transition Systems, Modelling, Temporal Logic, Linear Temporal Logic (LTL), Model Checking, Probabilistic Model Checking Tools used: Spin, PRISM Webpage: https://www.gla.ac.uk/coursecatalogue/course/?code=COMPSCI4031 Year/Level: 3, 4 & MSc Reviewed: 2022/03/30
Course code, if applicable: COMPSCI4031 University hosting the course: University of Glasgow Contact person: Dr Oana Andrei, oana.andrei@glasgow.ac.uk Concepts taught: Applied Formal Methods, Automated Reasoning, Behavioural Equivalences, Formal Specification, Labelled Transition Systems, Modelling, Temporal Logic, Linear Temporal Logic (LTL), Model Checking, Probabilistic Model Checking Tools used: Spin, PRISM Webpage: https://www.gla.ac.uk/coursecatalogue/course/?code=COMPSCI4031 Year/Level: 3, 4 & MSc Reviewed: 2022/03/30