Explore projects

S

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
S

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

0

Updated Dec 10, 2024

0 0 0 13

Updated Dec 10, 2024
S

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

0

Updated Dec 09, 2024

0 0 0 1

Updated Dec 09, 2024
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 Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
S

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
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 Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
S

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
S

cosyverif / Services / service imitator

0

Updated Apr 23, 2024

0 0 0 1

Updated Apr 23, 2024
S

cosyverif / Services / service adt2amas

0

Updated Apr 10, 2024

0 0 0 1

Updated Apr 10, 2024
S

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
S

Jawher Jerray / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 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 04, 2021

0 0 0 0

Updated Feb 04, 2021
S

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

repository of the sbench python package

0

Updated Nov 04, 2021

0 0 0 0

Updated Nov 04, 2021
S

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

repository of the sbench python package

1

Updated Oct 15, 2024

1 1 0 0

Updated Oct 15, 2024
R

Antoine Rozenknop / rust_palindrome

0

Updated May 27, 2020

0 0 0 0

Updated May 27, 2020
R

real-time maude / rt-strategies

0

Updated Mar 15, 2024

0 0 0 0

Updated Mar 15, 2024