Successive Refinement Verification
Options d'inscription
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.
- Enseignant: Yousra Benaissa