search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Introduction to Formal Methods in Software Engineering #100

Open FM-CONU opened 5 months ago

FM-CONU commented 5 months ago

Course code, if applicable: SOEN 331 University hosting the course: Concordia University, Montreal, Quebec Contact person: Dr. Constantinos Constantinides, constantinos.constantinides@concordia.ca Concepts taught: Applied Formal Methods,Formal Specification,Functional Programming,Logic,Logic Programming,Linear Temporal Logic (LTL),Modelling,Temporal Logic,Z Method Tools used: No Tools Webpage: https://users.encs.concordia.ca/~cc/soen331/ Year/Level: 2

jff commented 5 months ago

Hi @FM-CONU, thanks for your contribution! The webpage provided requires authentication: is there any open website?