Study programme 2024-2025 | Français | ||
Formal Methods: Applications | |||
Learning Activity |
Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) | Establishment |
---|---|---|---|---|
S-MATH-056 |
|
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 0 | 0 | 60 | 0 | 0 | Q2 |
Content of Learning Activity
Presentation of advanced work on verification and synthesis of computer systems. Project: system development using formal methods.
Required Learning Resources/Tools
Lecture notes available on Moodle.
Recommended Learning Resources/Tools
Not applicable.
Other Recommended Reading
C. Baier, J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)
Location of learning activity
Location of assessment