depot.lipn.univ-paris13.fr / PMC-SOG / experiments
PMC-SOG/experiments/test-paths
Symbolic Observation Graph-Based Generation of Test Paths
dernière synchronisation: il y a 7 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 7 mois - étoiles: 0 - forks: 0
PMC-SOG/experiments/multi-core
SOG-Based Multi-Core LTL Model Checking
dernière synchronisation: il y a 7 mois - étoiles: 0 - forks: 0