Pensum/læringskrav

Lecture notes; research articles; selected material from:

  • The Temporal Logic of Reactive and Concurrent Systems: Specification, by Amir Pnueli and Zohar Manna
  • Temporal Verification of Reactive Systems: Safety, by Amir Pnueli and Zohar Manna
  • Principles of Model Checking, by Christel Baier and Joost-Pieter Katoen
  • Coloured Petri Nets: Modelling and Validation of Concurrent Systems, by Kurt Jensen and Lars Michael Kristensen
  • The Spin Model Checker: Primer and Reference Manual, by Gerard J. Holzmann

Topics:

  • First-order logic
  • Dynamic logic
  • Linear Temporal Logic (LTL)
  • Runtime Verification
  • Model Checking
  • Automata-theoretic foundations
  • The SPIN model checker
  • Coloured Petri Nets
  • CTL & µ-calculus
Publisert 17. des. 2017 17:15 - Sist endret 17. des. 2017 17:15