Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.
Updated 
SolidityCPN / SolidityCPN
GNU General Public License v3.0 or laterUpdated 

SolidityCPN / Unfolding
GNU General Public License v3.0 or laterUpdated 
websites / swhprojects
GNU General Public License v3.0 or laterUpdated 
Updated

Fork of the Coq Num Analysis library to test Continuous Integration
Updated 

Updated

PARTIES / tools / adt2amas
GNU General Public License v3.0 onlyADT2AMAS: Tool for Managing Agents in AttackDefense Scenarios
Updated 

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 
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 
UpdatedUpdated

Hackers vs. Security: AttackDefence Trees as Asynchronous MultiAgent Systems
Updated 

imitator / papers / TACAS21
GNU General Public License v3.0 onlyscripts for the TACAS 21 paper experiments
Updated