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