IA169 Model Checking

Teaching, Literature, Examination

Teaching

  • The lectures take place in A318 every Thursday at 16:00 (except April 11).
  •  Seminars are also in A318 every second Thursday starting on March 7 at 18:00. 

Literature

  • E. M. Clarke, O. Grumberg, D. Kroening, D. Peled, and H. Veith: Model Checking (second edition), MIT Press, 2018. 
  • E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem: Handbook of Model Checking, Springer, 2018.
  • Ch. Baier and J.-P. Katoen: Principles of Model Checking, MIT Press, 2008.

Examination

  • no intrasemestral tests, no mandatory homeworks
  • oral exam at the end

 

Předchozí
Následující