Un site web pour l’outil PMC-SOG

Un site web est désormais disponible pour l’outil PMC-SOG (Parallel Model Checking using the Symbolic Observation Graph). Il est accessible à travers le lien suivant : https://lipn.univ-paris13.fr/pmc-sog/. PMC-SOG est un outil qui implémente en C++ plusieurs approches parallèles et distribuées de model checking en utilisant les graphes d’observation symboliques. Il était le sujet de plusieurs publications témoignant des résultats obtenus. Le développement de cet outil continue pour améliorer et optimiser ses performances.