Explore projects

View page_perso_lipn project

Jorge Garcia flores / page_perso_lipn

0

Updated Oct 05, 2023

0 1 0 0

Updated Oct 05, 2023
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 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 reaction-systems-maude project

Carlos Olarte / reaction-systems-maude

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
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 sogMBT project

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

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jul 02, 2025

0 0 0 0

Updated Jul 02, 2025
View jim2024 project

reactiveIS / artefacts / jim2024

0

Updated Feb 19, 2025

0 0 0 0

Updated Feb 19, 2025
View kilroy-corpus project

Jorge Garcia flores / kilroy-corpus

0

Updated Jan 30, 2024

0 0 0 0

Updated Jan 30, 2024
View formation.node.js project

Jorge Garcia flores / formation.node.js

0

Updated May 05, 2022

0 0 0 0

Updated May 05, 2022
View mariotel project

Antoine Rozenknop / mariotel
Other

0

Updated Sep 21, 2022

0 1 0 0

Updated Sep 21, 2022
View regex-lp project

PMC-SOG / experiments / regex-lp

0

Updated Sep 30, 2024

0 0 0 0

Updated Sep 30, 2024
View Unfolding project

SolidityCPN / Unfolding
GNU General Public License v3.0 or later

0

Updated Jun 25, 2025

0 0 1 0

Updated Jun 25, 2025
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
View jscoq-light project

David Hamelin / jscoq-light
Creative Commons Attribution 2.5 Generic

0

Updated Nov 11, 2024

0 1 2 0

Updated Nov 11, 2024
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 scorpion project

Serguei Lenglet / scorpion

0

Updated Dec 10, 2025

0 0 0 0

Updated Dec 10, 2025
View service pitpn2maude project

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

Julien David / dijkstra

0

Updated Nov 04, 2021

0 0 0 0

Updated Nov 04, 2021
View elsa-exp project

Anthony Coutant / elsa-exp

0

Updated Jul 12, 2019

0 0 0 0

Updated Jul 12, 2019
View TACAS21 project

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