Explore projects

S

cosyverif / Services / service pitpn2maude
GNU General Public License v3.0 or later

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
O

Nour Souid / Opacity_Supervision

Reinforce the opacity of a DES using the SCT

0

Updated Oct 22, 2021

0 0 0 0

Updated Oct 22, 2021
F

cosyverif / formalisms
GNU General Public License v3.0 only

Standard Formalisms Library for CosyVerif

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
M

Pierre Boudes / mastodon
GNU Affero General Public License v3.0

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon

0

Updated Jul 05, 2024

0 0 0 0

Updated Jul 05, 2024
S

MOSART / tools / stctl

0

Updated Oct 23, 2023

0 0 0 0

Updated Oct 23, 2023
T

Alexandre LOUVET / Test

0

Updated Jul 12, 2024

0 0 0 0

Updated Jul 12, 2024
E

Anthony Coutant / elsa

0

Updated Aug 31, 2019

0 0 0 0

Updated Aug 31, 2019
T

Joseph Le Roux / test-public

0

Updated Sep 13, 2018

0 0 0 0

Updated Sep 13, 2018
H

PMC-SOG / Hybrid-SOG
GNU General Public License v3.0 only

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
P

PMC-SOG / PN-Parser
GNU General Public License v3.0 only

0

Updated Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
L

Camille Coti / LocalOrio
MIT License

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
E

Anthony Coutant / elsa-exp

0

Updated Jul 12, 2019

0 0 0 0

Updated Jul 12, 2019
T

imitator / papers / TACAS21
GNU General Public License v3.0 only

scripts for the TACAS 21 paper experiments

0

Updated Dec 22, 2020

0 0 0 0

Updated Dec 22, 2020
M

Marionnet / mariotel
Other

0

Updated Oct 14, 2022

0 1 1 0

Updated Oct 14, 2022
M

PMC-SOG / experiments / multi-core

SOG-Based Multi-Core LTL Model Checking

0

Updated Nov 25, 2020

0 0 0 0

Updated Nov 25, 2020
S

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
R

Julien David / rdos
Other

0

Updated Dec 10, 2020

0 1 1 0

Updated Dec 10, 2020
K

Jorge Garcia flores / kilroy-corpus

0

Updated Jan 30, 2024

0 0 0 0

Updated Jan 30, 2024
F

Jorge Garcia flores / formation.node.js

0

Updated May 05, 2022

0 0 0 0

Updated May 05, 2022
S

MOSART / publications / STCTL
GNU General Public License v3.0 or later

Strategic (Timed) Computation Tree Logic

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023