depot.lipn.univ-paris13.fr / PMC-SOG 2 Repositories
Group working on Parallel Model Checking for Symbolic Observation Graphs (SOG)
PMC-SOG/experiments/test-paths
Symbolic Observation Graph-Based Generation of Test Paths
Last synced at: 7 months ago - Stars: 0 - Forks: 0
PMC-SOG/sogMBT
Symbolic Observation Graph-Based Generation of Test Paths
Last synced at: 7 months ago - Stars: 0 - Forks: 0
PMC-SOG/experiments/hybrid
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
Last synced at: 7 months ago - Stars: 0 - Forks: 0
PMC-SOG/sylvan
Multi-core Decision Diagram (BDD/LDD) implementation
Last synced at: 7 months ago - Stars: 0 - Forks: 0
PMC-SOG/experiments/multi-core
SOG-Based Multi-Core LTL Model Checking
Last synced at: 7 months ago - Stars: 0 - Forks: 0
PMC-SOG/sog-rop
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
Last synced at: 7 months ago - Stars: 1 - Forks: 0
PMC-SOG/distributed-sog
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0