depot.lipn.univ-paris13.fr
PMC-SOG/distributed-sog
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
PMC-SOG/thread-sog
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
hafid/GTM_LIPN
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 1
mosart/publications/jaamas-2024
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
real-time-maude/pitpn2maude-journal
dernière synchronisation: il y a environ un an - é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 environ un an - étoiles: 1 - forks: 0
parties/publications/live-trees
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
parties/tools/adt2amas
ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 2 - forks: 0
coutant/elsa
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
forest/GTM_LIPN
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
cosyverif/services/service-pitpn2maude
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
marisol.rodriguez/tutoriel
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
cosyverif/services/service-romeo
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
real-time-maude/rt-strategies
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
workshops/syncop24
Website of the Workshop SynCoP 2024
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
cosyverif/services/service-sogmbt
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mosart/publications/stctl
Strategic (Timed) Computation Tree Logic
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
PMC-SOG/experiments/test-paths
Symbolic Observation Graph-Based Generation of Test Paths
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
PMC-SOG/sogMBT
Symbolic Observation Graph-Based Generation of Test Paths
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
cosyverif/services/service-imitator
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gosup/tinyxml2
This is a copy of TinyXML2 parser
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gosup/BuDDy
This is a copy of the BuDDy library.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
cosyverif/services/service-adt2amas
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
imitator/papers/iceccs19
ICECCS19 paper experiments files
dernière synchronisation: il y a environ un an - é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 environ un an - étoiles: 0 - forks: 0
parties/publications/minimal-scheduling
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
parties/publications/transformation-amas
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
PMC-SOG/experiments/multi-core
SOG-Based Multi-Core LTL Model Checking
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
PMC-SOG/sylvan
Multi-core Decision Diagram (BDD/LDD) implementation
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
formal-model-for-musical-improvisation/factor-oracle
C++ implementation of the Factor Oracle structure
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
leroux/test-public
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
cosyverif/formalisms
Standard Formalisms Library for CosyVerif
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0