-
PRISM-extended.tar.gz <--- source code of PRISM+
-
13_nodes.prism <--- PRISM+ specification of the Casper Hybrid protocol with 13 nodes
-
properties.prop <--- list of the properties analyzed in the paper (PRISM syntax)
-
folder Experiments <--- contains the results of some experiments not included in the article
-> Download the PRISM-extended.tar.gz file and extract it
-> To install, enter the PRISM-new directory and type ./install.sh
-> To run, execute bin/xprism or bin/prism
-> To run an experiment from command line, it is possible to write:
prism model.prism property -const -sim -simmethod ciwhere
* model.prism is the name of the file
* property is the property to analyze (e.g. P=?[F<=T "someJustified"])
* after const it is supposed to define the variables not initialized in the model, in our case the only variable not initialize is epochs
For instance, if you want to analyze the probability that someone justifies a block depending on the number of epochs you should write:
prism 13_nodes.prism P=?[F<=T "someJustified"] -const epochs=0:5:20 -sim -simmethod ci