Explore projects

View M-GoSup project

Nour Souid / M-GoSup

Modular General Framework for Opacity Supervision using the Symbolic Observation Graph

0

Updated Sep 24, 2022

0 0 29 29

Updated Sep 24, 2022
View pompet project

Sami Evangelista / pompet
GNU General Public License v3.0 or later

Partial Order Model checker for PETri nets

0

Updated Oct 13, 2025

0 0 0 0

Updated Oct 13, 2025
View Tinyxml2 project

GoSup / Tinyxml2
zlib License

This is a copy of TinyXML2 parser

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
View multi-core project

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
View geolocalisation project

Davide Buscaldi / geolocalisation

0

Updated Sep 08, 2020

0 0 0 0

Updated Sep 08, 2020
View GitLab CI Configs project

Stefano Guerrini / GitLab CI Configs

gitlab-ci.yml configuration files

0

Updated Mar 25, 2025

0 0 0 0

Updated Mar 25, 2025
View hybrid project

PMC-SOG / experiments / hybrid

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

0

Updated Feb 02, 2023

0 0 0 1

Updated Feb 02, 2023
View formalisms project

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
View kilroy-corpus project

Jorge Garcia flores / kilroy-corpus

0

Updated Jan 30, 2024

0 0 0 0

Updated Jan 30, 2024
View test-public project

Joseph Le Roux / test-public

0

Updated Sep 13, 2018

0 0 0 0

Updated Sep 13, 2018
View Distributed-SOG project

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

0

Updated Feb 22, 2019

0 0 0 0

Updated Feb 22, 2019
View Thread-SOG project

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View Hybrid-SOG project

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View PN-Parser project

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

0

Updated Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
View GTM_LIPN project

Florent FOREST / GTM_LIPN

0

Updated Sep 18, 2018

0 0 0 0

Updated Sep 18, 2018
View LocalOrio project

Camille Coti / LocalOrio
MIT License

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
View elsa project

Anthony Coutant / elsa

0

Updated Aug 31, 2019

0 0 0 0

Updated Aug 31, 2019
View tutoriel project

Marisol Rodriguez / tutoriel

0

Updated Mar 26, 2018

0 0 0 0

Updated Mar 26, 2018
View sylvan project

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022
View GTM_LIPN project

AREZKI HAFID / GTM_LIPN

0

Updated Sep 18, 2018

0 1 1 0

Updated Sep 18, 2018