Génie Logiciel et Systèmes Distribués
Ce cours présente les aspect informels et formels liés à la vérification des systèmes informatiques mobiles.
- معلم: Laid Kahloul
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.
- معلم: Yousra Benaissa
This course provides an in-depth exploration of rewriting logic and its applications in various fields of computer science, mathematics, and software engineering. Rewriting logic is a powerful formalism that serves as a foundation for specifying, modeling, and reasoning about complex systems. It has found applications in areas such as programming language semantics, formal methods, software verification, and the modeling of concurrent and distributed systems.
- معلم: Mohamed RAMDANI
- معلم: abdelmoutia telli
