/CTLModelChecker

A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Watchers