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.
- منشئ المقرر: Zohra HMIDI
- منشئ المقرر: Hanane OUAAR
- منشئ المقرر: Mohamed RAMDANI
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
- منشئ المقرر: Asma Ammari
- منشئ المقرر: Yousra Benaissa
- منشئ المقرر: Hammadi Bennoui