Explore projects
-
Benoit Barbot / PrismFork
GNU General Public License v2.0 or laterUpdated -
Benoit Barbot / WordGen
GNU General Public License v3.0 or laterUpdated -
Paul-Elliot Anglès d'Auriac / class-panic
GNU Affero General Public License v3.0A node JS website for interactive polling students
Updated -
Updated
-
Sovanna Tan / dynamicFaultTree
GNU General Public License v3.0 onlyUpdated -
Updated
-
-
Julien Tesson / BSML-Web
GNU General Public License v3.0 onlyUpdated -
BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers
Updated -
-
Updated
-
Updated
-
Sovanna Tan / attackTree
GNU General Public License v3.0 onlyUpdated -
Benoit Barbot / Cosmos
GNU General Public License v3.0 onlyCosmos Statistical Model Checker
Updated -