prismmodelchecker
There are 1 repositories under prismmodelchecker topic.
xsk07/NSSK-protocol-PRISM
Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
There are 1 repositories under prismmodelchecker topic.
Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM