Explore projects

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




Ikram GARFATTA / sol2cpn
GNU General Public License v3.0 or laterUpdated 
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
Updated 
Formal Model for Musical Improvisation / Factor Oracle
GNU General Public License v3.0 onlyC++ implementation of the Factor Oracle structure
Updated 
PMCSOG / mcsog
GNU General Public License v3.0 onlyUpdated 

PMCSOG / PNParser
GNU General Public License v3.0 onlyUpdated 
PMCSOG / HybridSOG
GNU General Public License v3.0 onlyUpdated 
PMCSOG / ThreadSOG
GNU General Public License v3.0 onlyUpdated 
PMCSOG / DistributedSOG
GNU General Public License v3.0 onlyUpdated 
PARTIES / tools / adt2amas
GNU General Public License v3.0 onlyADT2AMAS: Tool for Managing Agents in AttackDefense Scenarios
Updated