depot.lipn.univ-paris13.fr / PMC-SOG 2 Dépôts
Group working on Parallel Model Checking for Symbolic Observation Graphs (SOG)
PMC-SOG/experiments/test-paths
Symbolic Observation Graph-Based Generation of Test Paths
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
PMC-SOG/sogMBT
Symbolic Observation Graph-Based Generation of Test Paths
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
PMC-SOG/experiments/hybrid
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
PMC-SOG/sylvan
Multi-core Decision Diagram (BDD/LDD) implementation
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
PMC-SOG/experiments/multi-core
SOG-Based Multi-Core LTL Model Checking
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
PMC-SOG/sog-rop
Reduced Symbolic Observation Graph with Ample Set of the partial order reduction
dernière synchronisation: il y a 8 mois - étoiles: 1 - forks: 0
PMC-SOG/thread-sog
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0
PMC-SOG/distributed-sog
dernière synchronisation: il y a 8 mois - enregistré: il y a 12 mois - étoiles: 0 - forks: 0