prism-accumulation

History

Sascha Wunderlich 57578cc560 Disable check for positive rewards (HACK)		2 years ago
..
acceptance	symbolic acceptance: provide intersect() method to allow restriction of the state sets	9 years ago
automata	accumulation + DFA stuff (patch-based rebase) UNTESTED	5 years ago
bin	Allow --javamaxmem as well as -javamaxmem (same for --javastack).	6 years ago
cex	Enable simulation of POMDPs via SimulatorEngine.	5 years ago
common	accumulation + DFA stuff (patch-based rebase) UNTESTED	5 years ago
dd	Makefile: use standard variable names for compilers and their flags	7 years ago
dv	Make C++/Java relative error/convergence checks consistent.	6 years ago
explicit	accumulation: Fix reward construction UNTESTED	5 years ago
hybrid	Store and report on accuracy information for numerical model checking queries.	5 years ago
jdd	imported patch symb-common-TemporaryJDDRefs.patch	5 years ago
jltl2ba	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
jltl2dstar	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
mtbdd	Store and report on accuracy information for numerical model checking queries.	5 years ago
odd	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
param	imported patch min-max-new-min-max-check.patch	5 years ago
parser	accumulation + DFA stuff (patch-based rebase) UNTESTED	5 years ago
pepa/compiler	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
prism	accumulation + DFA stuff (patch-based rebase) UNTESTED	5 years ago
pta	fix DigitalClock manipulation	5 years ago
scripts	scripts/printversion.sh: accept PRISM source directory as argument	7 years ago
settings	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
simulator	Disable check for positive rewards (HACK)	2 years ago
sparse	Fix missing include in sparse.cc	5 years ago
strat	Makefile: replace hardcoded directory names with PRISM_*_DIR	7 years ago
userinterface	(HOA path) Store ModulesFile / PropertiesFile location, if known	5 years ago
README.txt	Improved documentation (JavaDoc mostly).	15 years ago
authors.txt	Update authors list used for git-svn migration.	9 years ago
manifest.txt	Edited makefile to create Jar files which can be double-clicked. Also added a manifest.txt in the src directory which is required to realise this behaviour.	20 years ago
nsis_script.nsi	Fixes to release building on Windows.	8 years ago
overview.html	Improved documentation (JavaDoc mostly).	15 years ago

README.txt

Brief notes on the structure of this source directory.

Further details on packages are in the Javadoc.

Dave Parker.



-----------



* bin/ - OS-specific build scripts, customised and installed by make.

* dd/ - A C/C++ library of BDD/MTBDD functions, mostly just wrappers for the CUDD library.

* dv/ - Utility functions for operations on vectors of doubles (stored in C++ through JNI).

* explicit/ - Explicit-state probabilistic model checking engine, implemented in Java.

* hybrid/ - The "Hybrid" engine: data structures and model checking algorithms that mix MTBDDs and explicit-state techniques.

* jdd/ - A Java library providing a wrapper around the dd library and hence Java access to CUDD via JNI.

* jltl2ba/ - Java port of the LTL to Buchi automata conversion library.

* jltl2dstar/ - Java port of the LTL to deterministic Rabin automata conversion library.

* mtbdd/ - The "MTBDD" engine: fully symbolic implementations of model checking algorithms.

* odd/ - ODDs (offset-labelled BDDs), used to facilitat