Explore projects

W

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

0

Updated Jan 18, 2025

0 0 0 0

Updated Jan 18, 2025
U

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

0

Updated Jul 21, 2024

0 0 0 0

Updated Jul 21, 2024
T

Marisol Rodriguez / tutoriel

0

Updated Mar 26, 2018

0 0 0 0

Updated Mar 26, 2018
T

PARTIES / publications / Transformation AMAS

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

0

Updated Jul 19, 2020

0 0 0 0

Updated Jul 19, 2020
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
T

GoSup / Tinyxml2
zlib License

This is a copy of TinyXML2 parser

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
T

GoSup / Tinyxml

This is a copy of the TinyXML parser.

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
T

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
T

PMC-SOG / experiments / tests_sog_lp

0

Updated Dec 28, 2024

0 0 0 0

Updated Dec 28, 2024
T

Joseph Le Roux / test-public

0

Updated Sep 13, 2018

0 0 0 0

Updated Sep 13, 2018
T

PMC-SOG / experiments / test-paths

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jun 24, 2024

0 0 0 0

Updated Jun 24, 2024
T

David Hamelin / Test CI - Coq Num Analysis
Other

Fork of the Coq Num Analysis library to test Continuous Integration

0

Updated May 23, 2024

0 0 0 1

Updated May 23, 2024
T

Alexandre LOUVET / Test

0

Updated Jul 12, 2024

0 0 0 0

Updated Jul 12, 2024
T

Yasmine Chouikha / test

0

Updated Jan 28, 2022

0 0 0 0

Updated Jan 28, 2022
T

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
T

imitator / papers / TACAS21
GNU General Public License v3.0 only

scripts for the TACAS 21 paper experiments

0

Updated Dec 22, 2020

0 0 0 0

Updated Dec 22, 2020
S

Thierry Monteil / sysadmin_vm_builder

0

Updated Apr 16, 2024

0 0 0 0

Updated Apr 16, 2024
workshops / syncop24

Website of the Workshop SynCoP 2024

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
S

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022
S

websites / swh-projects
GNU General Public License v3.0 or later

0

Updated Apr 28, 2024

0 0 0 0

Updated Apr 28, 2024