Explore projects

S

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

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Dec 21, 2024

0 0 0 0

Updated Dec 21, 2024
G

GoSup / GoSup

General Opacity Supervision tool

2

Updated Dec 21, 2024

2 0 0 0

Updated Dec 21, 2024
S

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

0

Updated Dec 10, 2024

0 0 0 13

Updated Dec 10, 2024
L

SolidityCPN / ltl-translator
GNU General Public License v3.0 or later

Translation of LTL formulae from JSON into Helena syntax.

0

Updated Dec 09, 2024

0 0 0 0

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

Hadhami OUNI / PFE

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
A

Hadhami OUNI / Approche_ML_1

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
O

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

0

Updated Oct 18, 2024

0 0 0 0

Updated Oct 18, 2024
U

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

0

Updated Jul 21, 2024

0 0 0 0

Updated Jul 21, 2024
P

PMC-SOG / PN-Parser
GNU General Public License v3.0 only

0

Updated Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
A

PARTIES / tools / adt2amas
GNU General Public License v3.0 only

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

2

Updated Nov 07, 2023

2 0 0 9

Updated Nov 07, 2023
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
S

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
M

PMC-SOG / mc-sog
GNU General Public License v3.0 only

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
I

Nour Souid / IoT_Opacity

0

Updated Mar 31, 2023

0 0 0 0

Updated Mar 31, 2023
F

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
B

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
O

Yasmine Chouikha / Optimal Approach

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .

0

Updated Dec 06, 2022

0 0 0 0

Updated Dec 06, 2022
T

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

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
S

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022