MAT-74506 Model Checking and Petri Nets, 7 cr
Implementation MAT-74506 2017-01
| Period | The implementation will not be executed during the academic year 2017-2018. |
| Methods of instruction | |
| Person responsible | Antti Valmari |
Assessment scale
Numerical evaluation scale (0-5)
Requirements
If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.
Study material
| Type | Name | Author | ISBN | Additional information | Language | Examination material |
| Lecture slides | Antti Valmari | English | Yes | |||
| Other literature | Scientific papers in the field | Will be delivered to the students. | English | No |