SOEN331 Tutorial Notes
Introduction to Formal Methods for Software Engineering - Concordia University


Tutorial Leader Section UE @ H820 ----F 14:15-16:05
Remember to fill out the TA/Lab instructor online evaluations

Most of these slides come from Professor Ormandjieva in the official course webpage, I will post them here since I might some weeks be able to post them sooner than her...

Tutorial 10 - April 6, 2018

🐾Extra material for Z Specification Language (from Professor Constantinides) 🐾

🐾Extra material for the Birthday Book example (from Professor Constantinides) 🐾

Tutorial 8 - March 16, 2018

Official Tutorial Slides on Temporal Logic slides

🐾Extra material for Ordered Structures (from Professor Constantinides) 🐾

🐾Extra material for Relations (from Professor Constantinides) 🐾

Tutorial 7 - March 9, 2018

Official Tutorial Slides on UPPAAL model checker tool

Tutorial 6 - March 2, 2018

Official Tutorial Slides on Temporal Logic slides

🐾Extra material for Temporal Logic (from Professor Constantinides) 🐾

Tutorial 5 - February 16, 2018

Official Tutorial Slides on Axiomatic Specifications

🐾Extra material for Propositional logic (from Professor Constantinides) 🐾

Tutorial 4 - February 9, 2018

Official Tutorial Slides on Predicate Logic

🐾Extra material for Predicate logic (from Professor Constantinides) 🐾

Tutorial 3 - February 2, 2018

Official Tutorial Slides on EFSM

🐾Extra material for EFSM (from Professor Constantinides) 🐾

Official Solution for Tutorial 3

Tutorial 2 - January 26, 2018

Official Tutorial Slides on FSM

🐾Extra material for FSM (from Professor Constantinides) 🐾

Tutorial 1 - January 19, 2018

Official Tutorial Slides on BNF