Explore projects

Benoit Barbot / WordGen
GNU General Public License v3.0 or laterUpdated 
Updated

Updated

Updated

Benoit Barbot / Cosmos
GNU General Public License v3.0 onlyCosmos Statistical Model Checker
Updated 
Julien Cervelle / PadiFlac
GNU General Public License v3.0 onlyUpdated 
Benoit Barbot / BoltzGen
GNU General Public License v3.0 onlyUpdated 
Updated

Updated

Updated

Benoit Barbot / Tiamofork
GNU General Public License v3.0 onlyUpdated 
Updated

Updated

Sovanna Tan / attackTree
GNU General Public License v3.0 onlyUpdated 
BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers
Updated 
Updated

Julien Tesson / BSMLWeb
GNU General Public License v3.0 onlyUpdated 
Benoit Barbot / PrismFork
GNU General Public License v2.0 or laterUpdated 
Updated