Explore projects

PARTIES / tools / adt2amas
GNU General Public License v3.0 onlyADT2AMAS: Tool for Managing Agents in AttackDefense Scenarios
Updated 
Formal Model for Musical Improvisation / Factor Oracle
GNU General Public License v3.0 onlyC++ implementation of the Factor Oracle structure
Updated 

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
Updated 
PMCSOG / mcsog
GNU General Public License v3.0 onlyUpdated 
PMCSOG / ThreadSOG
GNU General Public License v3.0 onlyUpdated 
PMCSOG / HybridSOG
GNU General Public License v3.0 onlyUpdated 

Ikram GARFATTA / sol2cpn
GNU General Public License v3.0 or laterUpdated 



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