Formal Methods for Software Engineering

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Formal Methods for Software Engineering #105

Open dongjs1 opened 2 months ago

dongjs1 commented 2 months ago

Course code, if applicable: CS4211 University hosting the course: National University of Singapore Contact person: Jin Song Dong, dcsdjs@nus.edu.sg Concepts taught: Formal Specification,Model Checking,Process Algebra,Z Method Tools used: PAT Webpage: Year/Level: 4

jff commented 1 month ago

Hi @dongjs1 ! Is there a website for this course?