Seweryn's repositories
LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
NSSK-protocol-PRISM
Needham-Schroeder Symmetric-Key (NSSK) Protocol modelling and model checking using PRISM
000
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
Needham-Schroeder Symmetric-Key (NSSK) Protocol modelling and model checking using PRISM