Explore projects

PARTIES / tools / adt2amas
GNU General Public License v3.0 onlyADT2AMAS: Tool for Managing Agents in AttackDefense Scenarios
Updated 
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
Updated 
PMCSOG / mcsog
GNU General Public License v3.0 onlyUpdated 

Formal Model for Musical Improvisation / Factor Oracle
GNU General Public License v3.0 onlyC++ implementation of the Factor Oracle structure
Updated 

Hadhami OUNI / Approche_ML_1
GNU General Public License v3.0 or laterUpdated 
Ikram GARFATTA / sol2cpn
GNU General Public License v3.0 or laterUpdated 
PMCSOG / ThreadSOG
GNU General Public License v3.0 onlyUpdated 

PMCSOG / DistributedSOG
GNU General Public License v3.0 onlyUpdated 
PMCSOG / HybridSOG
GNU General Public License v3.0 onlyUpdated 
PMCSOG / PNParser
GNU General Public License v3.0 onlyUpdated 


PMCSOG / Buddy
OtherUpdated 
SolidityCPN / Unfolding
GNU General Public License v3.0 or laterUpdated 
PMCSOG / sogMBT
GNU General Public License v3.0 or laterSymbolic Observation GraphBased Generation of Test Paths
Updated