-
GRETEL Public
Forked from aiim-research/GRETELGRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
-
-
Customs-Export-Process Public
Implementation of the BPM lifecycle of a Customs Export Process
-
NSSK-protocol-PRISM Public
Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
cryptography prism model-checking formal-methods formal-verification needham-schroeder probabilistic-model-checkingUpdatedJul 16, 2023 -
LTLpSeparator Public
Algorithm for the separation of LTLp formulae into a combination of pure past, present and future formulae
{{ message }}