S
SAFER team

Projects with this topic

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

MOSART / tools / stctl

SAFER team

0

Updated Oct 23, 2023

0 0 0 0

Updated Oct 23, 2023
View service sogMBT project

cosyverif / Services / service sogMBT

SAFER team CosyVerif

0

Updated Jul 18, 2023

0 0 0 0

Updated Jul 18, 2023
View mc-sog project

PMC-SOG / mc-sog

SAFER team SOG catalog

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
View adt2maude project

PARTIES / tools / adt2maude

SAFER team Maude

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
View SOG ROP project

PMC-SOG / SOG ROP

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

SAFER team

1

Updated Jun 10, 2020

1 0 0 0

Updated Jun 10, 2020
View Thread-SOG project

PMC-SOG / Thread-SOG

SAFER team SOG

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View Hybrid-SOG project

PMC-SOG / Hybrid-SOG

SAFER team SOG

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View Factor Oracle project

Formal Model for Musical Improvisation / Factor Oracle

C++ implementation of the Factor Oracle structure

SAFER team

1

Updated Nov 13, 2019

1 0 0 3

Updated Nov 13, 2019
View Distributed-SOG project

PMC-SOG / Distributed-SOG

SAFER team SOG

0

Updated Feb 22, 2019

0 0 0 0

Updated Feb 22, 2019