 | Study programme 2019-2020 | 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 |
| Organisational online arrangements for the end of Q3 2019-2020 assessments (Covid-19) |
|---|
|
| Description of the modifications to the Q3 2019-2020 online assessment procedures (Covid-19) |
| No change with regard to the plan but the turn to online learning. Recall that the grade for the AA is based on the projet (continuous evaluation) and the presentations. The final oral exam is a collective one, and it consists in a critical debrief of the projet. |
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
- Face to face
Type of Teaching Activity/Activities
- Préparations, travaux, recherches d'information
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term