s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
599 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: edaccf8c4b
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'edaccf8c4b'
${ noResults }
prism-accumulation/prism
Gethin Norman edaccf8c4b
update to auto file 		17 years ago
..
dtds Move images/dtds out of classes directory (is a pain in Eclipse). 19 years ago
etc Fixed prism3to4 script. 18 years ago
images Unix2dos. 18 years ago
include Code tidy to remove compile errors. 17 years ago
lib Merged jfreechart port into trunk. 18 years ago
src Code tidy to remove compile errors. 17 years ago
CHANGELOG.txt CHANGELOG. 18 years ago
COPYING.txt PRISM trunk layout rearrangement. 20 years ago
Makefile Makefile bugfix: dist_bin works even in examples dir absent. 18 years ago
README.txt Added some useful scripts to etc/scripts. 18 years ago
VERSIONS.txt Unix2dos. 18 years ago
install.sh Fixed install script for case with spaces in PRISM path. 18 years ago
nsis_script.nsi Updated more email addresses, affiliations, etc. 18 years ago

README.txt 

======

README

======



This is PRISM (Probabilistic Symbolic Model Checker), version 3.2.



------------

INSTALLATION

------------



For detailed installation instructions, check the online manual at:



  http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions

  

or see the local copies included in this distribution:



  doc/manual/InstallingPRISM/Instructions.html

  doc/manual.pdf



Very abbreviated instructions for installing/running PRISM are as follows:



For Windows binary distributions:



 - to install, run prism-XXX-win-installer.exe

 - to run, use Desktop/Start menu shortcuts or double-click bin\xprism.bat



For other binary distributions:



 - to install, enter the PRISM directory, type "./install.sh"

 - to run, execute bin/xprism or bin/prism



For source code distributions:



 - enter the PRISM directory and type "make"

 - to run, execute bin/xprism or bin/prism



If you have problems check the manual, especially the section "Common Problems And Questions".