Explore projects

S

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

0

Updated Nov 30, 2023

0 0 0 13

Updated Nov 30, 2023
S

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

0

Updated Oct 07, 2021

0 0 0 0

Updated Oct 07, 2021
S

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

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jan 31, 2023

0 0 0 0

Updated Jan 31, 2023
S

PMC-SOG / SOG ROP

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

1

Updated Nov 02, 2023

1 0 0 0

Updated Nov 02, 2023
S

cosyverif / Services / service sogMBT

0

Updated Jul 18, 2023

0 0 0 0

Updated Jul 18, 2023
S

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

0

Updated Jul 24, 2023

0 0 0 0

Updated Jul 24, 2023
S

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

0

Updated Jul 28, 2023

0 0 0 0

Updated Jul 28, 2023
S

cosyverif / Services / service imitator

0

Updated Sep 22, 2023

0 0 0 0

Updated Sep 22, 2023
S

cosyverif / Services / service adt2amas

0

Updated Nov 02, 2023

0 0 0 1

Updated Nov 02, 2023
S

Mehdi Naima / SDA

0

Updated Sep 24, 2020

0 0 0 0

Updated Sep 24, 2020
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
S

Jawher Jerray / SDA

0

Updated Sep 24, 2020

0 0 0 0

Updated Sep 24, 2020
S

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
S

Stella ZEVIO / ScholarMap
GNU General Public License v3.0 or later

0

Updated Feb 03, 2021

0 0 0 0

Updated Feb 03, 2021
S

Jaime Arias / sbench
GNU General Public License v3.0 or later

repository of the sbench python package

0

Updated Nov 02, 2023

0 0 0 0

Updated Nov 02, 2023
S

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

repository of the sbench python package

1

Updated Jul 07, 2023

1 1 0 0

Updated Jul 07, 2023
R

Antoine Rozenknop / rust_palindrome

0

Updated Sep 23, 2020

0 0 0 0

Updated Sep 23, 2020
R

Julien David / rdos-python

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

0

Updated Sep 03, 2020

0 0 0 0

Updated Sep 03, 2020
R

Julien David / rdos
Other

0

Updated Sep 03, 2020

0 1 1 0

Updated Sep 03, 2020
R

Ismail Moumni / rdos
Other

0

Updated Sep 01, 2020

0 0 0 0

Updated Sep 01, 2020