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.
282 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 013c2eb637
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '013c2eb637'
${ noResults }
prism-accumulation/prism
Mark Kattenbelt 013c2eb637
Changed notices in PrismLogarithmicAxis.java 		18 years ago
..
dtds Move images/dtds out of classes directory (is a pain in Eclipse). 19 years ago
etc Updated Gnome highlighting/MIME types to include precprocessor stuff. 19 years ago
images Merged jfreechart port into trunk. 18 years ago
include Added new "rows" format for matrix export and -exportrows command-line switch. 19 years ago
lib Merged jfreechart port into trunk. 18 years ago
src Changed notices in PrismLogarithmicAxis.java 18 years ago
CHANGELOG.txt Update to CHANGELOG. 19 years ago
COPYING.txt PRISM trunk layout rearrangement. 20 years ago
Makefile Merged jfreechart port into trunk. 18 years ago
README.txt Added Alistair to acknowledgements. 19 years ago
VERSIONS.txt Make sure 3.1->3.1.1 changes included in trunk. 19 years ago
install.sh New way of generating startup scripts (bin/prism, etc.). 19 years ago
nsis_script.nsi Rearrangement and tidy-up of copyright/license info in file headers. 19 years ago

README.txt 

======

README

======



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



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

INSTALLATION

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



For detailed installation instructions, check the online manual at:



  http://www.cs.bham.ac.uk/~dxp/prism/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:



 - there is no installation; just double-click bin/xprism.bat



For other binary distributions:



 - enter the PRISM directory, type "./install.sh" and then execute bin/xprism or bin/prism



For source code distributions:



 - enter the PRISM directory, type "make", then "./install.sh" and then execute bin/xprism or bin/prism



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





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

DOCUMENTATION

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



The best