#!/bin/bash
rm -rf monotonicity.txt
echo "--- MESSAGE AUTHENTICATION ---"
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=3840" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=7680" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=15360" --monotonicity-analysis --bisimulation
mv monotonicity.txt monotonicity-messageAuthentication.txt

