Explore projects

B

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
F

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
I

Nour Souid / IoT_Opacity

0

Updated Mar 31, 2023

0 0 0 0

Updated Mar 31, 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
S

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
S

Julien David / SDA

0

Updated Oct 18, 2023

0 2 0 0

Updated Oct 18, 2023
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

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
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
G

GoSup / GoSup

General Opacity Supervision tool

2

Updated Jun 20, 2024

2 0 0 0

Updated Jun 20, 2024
A

Hadhami OUNI / Approche_ML_1

0

Updated Jul 17, 2024

0 0 0 0

Updated Jul 17, 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
S

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

0

Updated Jul 27, 2024

0 0 0 13

Updated Jul 27, 2024
O

Hadhami OUNI / OptLP

0

Updated Aug 25, 2024

0 0 0 0

Updated Aug 25, 2024