cosyverif/formalisms

Standard Formalisms Library for CosyVerif

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

PMC-SOG/distributed-sog

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

PMC-SOG/thread-sog

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

PMC-SOG/hybrid-sog

Last synced at: 7 months ago - Stars: 0 - Forks: 0

PMC-SOG/pn-parser

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/pmc-sog

Last synced at: 7 months ago - Stars: 0

PMC-SOG/mc-sog

Last synced at: 7 months ago - Stars: 1 - Forks: 0

formal-model-for-musical-improvisation/factor-oracle

C++ implementation of the Factor Oracle structure

Last synced at: 7 months ago - Stars: 1 - 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/experiments/multi-core

SOG-Based Multi-Core LTL Model Checking

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

parties/publications/transformation-amas

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Last synced at: 7 months ago - Stars: 0 - Forks: 0

parties/publications/minimal-scheduling

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

Last synced at: 7 months ago - Stars: 1 - Forks: 0

marionnet/mariotel

Last synced at: 7 months ago - Stars: 0 - Forks: 1

imitator/papers/iceccs19

ICECCS19 paper experiments files

Last synced at: 7 months ago - Stars: 0 - Forks: 0

cosyverif/services/service-adt2amas

Last synced at: 7 months ago - Stars: 0 - Forks: 0

hafid/GTM_LIPN

Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

soliditycpn/soliditycpn

Last synced at: 7 months ago - Stars: 0 - Forks: 0

parties/publications/live-trees

Last synced at: 7 months ago - Stars: 0 - Forks: 0

gosup/BuDDy

This is a copy of the BuDDy library.

Last synced at: 7 months ago - Stars: 0 - Forks: 0

gosup/tinyxml2

This is a copy of TinyXML2 parser

Last synced at: 7 months ago - Stars: 0 - Forks: 0

parties/tools/adt2maude

Last synced at: 7 months ago - Stars: 1 - Forks: 0

real-time-maude/pta2maude

Last synced at: 7 months ago - Stars: 0 - Forks: 0

soliditycpn/unfolding

Last synced at: 7 months ago - Stars: 0 - Forks: 0

mosart/publications/stctl

Strategic (Timed) Computation Tree Logic

Last synced at: 7 months ago - Stars: 0 - Forks: 0

real-time-maude/pitpn2maude

Last synced at: 7 months ago - Stars: 0 - Forks: 0

cosyverif/services/service-imitator

Last synced at: 7 months ago - Stars: 0 - Forks: 0

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/buddy

Last synced at: 7 months ago - Stars: 0 - Forks: 0

cosyverif/services/service-sogmbt

Last synced at: 7 months ago - Stars: 0 - Forks: 0

mosart/tools/stctl

Last synced at: 7 months ago - Stars: 0 - Forks: 0

marisol.rodriguez/tutoriel

Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

real-time-maude/nptav2maude

Last synced at: 7 months ago - Stars: 0 - Forks: 0

cosyverif/services/service-pitpn2maude

Last synced at: 7 months ago - Stars: 0 - Forks: 0

cosyverif/services/service-romeo

Last synced at: 7 months ago - Stars: 0 - Forks: 0

mosart/publications/jaamas-2024

Last synced at: 7 months ago - Stars: 0 - Forks: 0

mosart/tools/maude-stctl

Last synced at: 7 months ago - Stars: 0 - Forks: 0

workshops/syncop24

Website of the Workshop SynCoP 2024

Last synced at: 7 months ago - Stars: 0 - Forks: 0

websites/swh-projects

Last synced at: 7 months ago - Stars: 0 - Forks: 0

real-time-maude/pitpn2maude-journal

Last synced at: 7 months ago - Stars: 0 - Forks: 0

real-time-maude/rt-strategies

Last synced at: 7 months ago - Stars: 0 - Forks: 0

reactiveis/artefacts/jim2024

Last synced at: 7 months ago - Stars: 0 - Forks: 0

parties/tools/adt2amas

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

PMC-SOG/optlp

Last synced at: 7 months ago - Stars: 0 - Forks: 0

leroux/test-public

Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

PMC-SOG/experiments/regex-lp

Last synced at: 7 months ago - Stars: 0 - Forks: 0

forest/GTM_LIPN

Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

coutant/elsa

Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0