Explore projects

Benoit Barbot / Cosmos
GNU General Public License v3.0 onlyCosmos Statistical Model Checker
Updated 
Updated


Benoit Barbot / PrismFork
GNU General Public License v2.0 or laterUpdated 
Updated

Julien Cervelle / PadiFlac
GNU General Public License v3.0 onlyUpdated 
Updated

Updated

Updated


Julien Tesson / BSMLWeb
GNU General Public License v3.0 onlyUpdated 
Benoit Barbot / BoltzGen
GNU General Public License v3.0 onlyUpdated 
Updated

Updated

Benoit Barbot / WordGen
GNU General Public License v3.0 or laterUpdated 
Sovanna Tan / attackTree
GNU General Public License v3.0 onlyUpdated 
Sovanna Tan / dynamicFaultTree
GNU General Public License v3.0 onlyUpdated 
Updated

BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers
Updated