Open eskang opened 1 year ago
Course code, if applicable: 17-614 University hosting the course: Carnegie Mellon University Contact person: Eunsuk Kang, eunsukk@andrew.cmu.edu Concepts taught: Applied Formal Methods,Automated Reasoning,Behavioural Modelling,Constraints,Data Refinement,Formal Specification,Labelled Transition Systems,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,Process Calculus,Relations,Specification,Temporal Logic Tools used: Alloy, FSP Webpage: https://mse.s3d.cmu.edu/0_documents/syllabi/fa2021/17614-formal-methods.pdf Year/Level: MSc Reviewed: 2023/12/23
Course code, if applicable: 17-614 University hosting the course: Carnegie Mellon University Contact person: Eunsuk Kang, eunsukk@andrew.cmu.edu Concepts taught: Applied Formal Methods,Automated Reasoning,Behavioural Modelling,Constraints,Data Refinement,Formal Specification,Labelled Transition Systems,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,Process Calculus,Relations,Specification,Temporal Logic Tools used: Alloy, FSP Webpage: https://mse.s3d.cmu.edu/0_documents/syllabi/fa2021/17614-formal-methods.pdf Year/Level: MSc Reviewed: 2023/12/23