Explore projects

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 SDA project

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
View SDA project

Jawher Jerray / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
View SDA project

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
View SDA project

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
View SOG ROP project

PMC-SOG / SOG ROP

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

1

Updated Jun 10, 2020

1 0 0 0

Updated Jun 10, 2020
View sogMBT project

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

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Mar 19, 2025

0 0 0 0

Updated Mar 19, 2025
View sol2cpn project

Ikram GARFATTA / sol2cpn
GNU General Public License v3.0 or later

0

Updated Oct 07, 2021

0 0 0 0

Updated Oct 07, 2021
View solidity2cpn project

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

0

Updated Dec 09, 2024

0 0 0 1

Updated Dec 09, 2024
View SolidityCPN project

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

0

Updated Mar 20, 2025

0 0 1 13

Updated Mar 20, 2025
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 TensorJoseph project

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
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 Tinyxml project

GoSup / Tinyxml

This is a copy of the TinyXML parser.

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
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 Tool Symbolic Observation Graph-Based Generation of Test Paths project

Yasmine Chouikha / Tool Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
View Unfolding project

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

0

Updated Jul 21, 2024

0 0 0 0

Updated Jul 21, 2024