Nantes Université

Invariant Verification Algorithm

Informations sur le projet

DM n°1 du cours Modélisation et vérification des systèmes concurrents. Implémentation de système de transition, de proposition logique et d'un algorithme de vérification d'invariant.

DM n°1 of the course Modeling and verification of concurrent systems. Implementation of transition system, logical proposition and invariant verification algorithm.

21 validations
1 branche
0 étiquette

README

Date de création

23 octobre 2023

Chargement en cours