S
SAFER team

Projects with this topic

View sogMBT project

PMC-SOG / sogMBT

Symbolic Observation Graph-Based Generation of Test Paths

SAFER team SOG catalog

0

Updated Jul 15, 2026

0 0 0 0

Updated Jul 15, 2026
View solidity2CPN platform project

Solidity2CPN / solidity2CPN platform

SAFER team Solidity2CPN catalog

0

Updated Jul 11, 2026

0 0 0 15

Updated Jul 11, 2026
View cosydraw project

cosyverif / cosydraw

Web-based graphical user interface (GUI) of cosyverif

SAFER team CosyVerif catalog

2

Updated Mar 27, 2026

2 0 0 39

Updated Mar 27, 2026
View NPTAV2Maude project

real-time maude / NPTAV2Maude

SAFER team Maude

0

Updated Nov 27, 2025

0 0 0 0

Updated Nov 27, 2025
View alligator project

cosyverif / Alligator / alligator

SAFER team CosyVerif catalog

0

Updated Jun 23, 2025

0 0 0 11

Updated Jun 23, 2025
View formalisms project

cosyverif / formalisms

Standard Formalisms Library for CosyVerif

SAFER team CosyVerif

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
View pta2maude project

real-time maude / pta2maude

SAFER team Maude

0

Updated Feb 15, 2024

0 0 0 0

Updated Feb 15, 2024
View pitpn2maude project

real-time maude / pitpn2maude

SAFER team Maude

0

Updated Dec 08, 2023

0 0 0 2

Updated Dec 08, 2023
View adt2maude project

PARTIES / tools / adt2maude

SAFER team Maude

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022