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