Telecharger Cours

Model Checking: Introduction to Spin

Page 76. JSPIN Demo. Command Line Execution calling JSPIN. > java -jar /usr/local/jSpin/jSpin.jar. (with path adjusted to your setting) or use shell script ...



Download