Explore projects

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 Profiling for StarPU project

Camille Coti / Profiling for StarPU
GNU Lesser General Public License v2.1 only

0

Updated Sep 30, 2022

0 0 0 0

Updated Sep 30, 2022
View NPTAV2Maude project

real-time maude / NPTAV2Maude

0

Updated Feb 23, 2024

0 0 0 0

Updated Feb 23, 2024
View service imitator project

cosyverif / Services / service imitator

0

Updated Apr 23, 2024

0 0 0 1

Updated Apr 23, 2024
View tests_sog_lp project

PMC-SOG / experiments / tests_sog_lp

0

Updated Mar 29, 2025

0 0 0 0

Updated Mar 29, 2025
View stctl project

MOSART / tools / stctl

0

Updated Oct 23, 2023

0 0 0 0

Updated Oct 23, 2023
View IoT_Opacity project

Nour Souid / IoT_Opacity

0

Updated Mar 31, 2023

0 0 0 0

Updated Mar 31, 2023
View PFE project

Hadhami OUNI / PFE

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
View rtm-strategies project

real-time maude / rtm-strategies

0

Updated Jun 21, 2025

0 0 0 0

Updated Jun 21, 2025
View rt-strategies project

real-time maude / rt-strategies

0

Updated Mar 15, 2024

0 0 0 0

Updated Mar 15, 2024
View JAAMAS-2024 project

MOSART / publications / JAAMAS-2024
GNU General Public License v3.0 or later

0

Updated Oct 27, 2023

0 0 0 0

Updated Oct 27, 2023
View regex-lp project

PMC-SOG / experiments / regex-lp

0

Updated Sep 30, 2024

0 0 0 0

Updated Sep 30, 2024
View STCTL project

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
View mcc-models project

Sami Evangelista / mcc-models

This repository contains pnml from the MCC (https://mcc.lip6.fr).

0

Updated Sep 20, 2024

0 0 0 0

Updated Sep 20, 2024
View jscoq-light project

Pierre Rousselin / jscoq-light
Creative Commons Attribution 2.5 Generic

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024
View OptLP project

PMC-SOG / OptLP
GNU General Public License v3.0 or later

0

Updated Mar 29, 2025

0 0 0 0

Updated Mar 29, 2025