ISADT

'./build.sh' for build

'./build/bin/isadt -i test.xml -g' for generate code

'./build/bin/isadt -i test.xml -g -engine=simulation' for generate simulation code

'./build/bin/isadt -i test.xml -g -engine=real' for generate real code

'./build/bin/isadt -i test.xml -v' for verify

'./build/bin/isadt -i test.xml -v -engine=beagle' for verify in beagle

'./build/bin/isadt -i test.xml -v -engine=proverif' for verify in proverif

beagle

'./beagle -bmc test.elt' for running beagle