Successive Refinement Verification
Enrolment options

Validating the software development process is a critical and difficult task. The objective of this subject is to introduce formal methods based on algebraic specifications and bisimulation.
- Teacher: Yousra Benaissa