| .. |
|
rewards
|
Copyright header updates
|
15 years ago |
|
CTMC.java
|
Time-bounded CSL model checking for CTMCs in explicit engine.
|
15 years ago |
|
CTMCModelChecker.java
|
Remove un-needed check for LTL formula inside time-bounded until.
|
14 years ago |
|
CTMCSimple.java
|
Time-bounded CSL model checking for CTMCs in explicit engine.
|
15 years ago |
|
CTMDP.java
|
Update to newest version of explicit code (from prism-qar) plus -explicit switch for command-line and MDP solution settings.
|
15 years ago |
|
CTMDPModelChecker.java
|
StateValues has an associated model in explicit engine; improved printing.
|
15 years ago |
|
CTMDPSimple.java
|
Tidy/improve passing of settings to explicit model checkers.
|
15 years ago |
|
ConstructModel.java
|
Adapt some classes to use new ProgressDisplay.
|
14 years ago |
|
DTMC.java
|
More updates to explicit library:
|
15 years ago |
|
DTMCEmbeddedSimple.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
DTMCExplicit.java
|
Add (commented out) code for backwards Gauss-Seidel on DTMCs.
|
15 years ago |
|
DTMCFromMDPMemorylessAdversary.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
DTMCModelChecker.java
|
Add support for computing ranges of transient probabilities (e.g. -tr 0.1:0.01:0.2) to command-line. Transient probability computation is done incrementally, using each computed distribution.
|
14 years ago |
|
DTMCSimple.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
DTMCUniformisedSimple.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
Distribution.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
DistributionSet.java
|
Vojta - copyright and acks.
|
15 years ago |
|
FoxGlynn.java
|
Improved Fox-Glynn for small numbers + int overflow bugfix (Vojta).
|
16 years ago |
|
IndexedSet.java
|
Update to newest version of explicit code (from prism-qar) plus -explicit switch for command-line and MDP solution settings.
|
15 years ago |
|
MDP.java
|
New exportToDotFileWithAdv method for MDPs in explicit engine.
|
14 years ago |
|
MDPExplicit.java
|
New exportToDotFileWithAdv method for MDPs in explicit engine.
|
14 years ago |
|
MDPModelChecker.java
|
Bug fix: only process adversary if generated (explicit).
|
14 years ago |
|
MDPSimple.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
MDPSparse.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
Makefile
|
Fix makefiles with easier setup of classpath using * for jars.
|
14 years ago |
|
Model.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
ModelCheckerResult.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
ModelExplicit.java
|
Add deadlock handling (e.g. for nofixdl) for explicit engine.
|
14 years ago |
|
ModelSimple.java
|
Re-arrangement of explicit model classes:
|
15 years ago |
|
PrismExplicit.java
|
Fix some other refs to old Prism API.
|
14 years ago |
|
PrismSTPGAbstractRefine.java
|
More updates to explicit library:
|
15 years ago |
|
ProbModelChecker.java
|
Explicit mc setSettings methods ignore settings if null.
|
14 years ago |
|
QuantAbstractRefine.java
|
* PrismLog now has a "printWarning" method that can be used to print warnings.
|
15 years ago |
|
QuantAbstractRefineExample.java
|
Update to newest version of explicit code (from prism-qar) plus -explicit switch for command-line and MDP solution settings.
|
15 years ago |
|
SCCComputer.java
|
More (B)SCC computation for explicit engine.
|
14 years ago |
|
SCCComputerTarjan.java
|
More (B)SCC computation for explicit engine.
|
14 years ago |
|
STPG.java
|
Revised/expanded STPG interface.
|
15 years ago |
|
STPGAbstrSimple.java
|
Add getSuccessorsIterator to explicit Model interface.
|
14 years ago |
|
STPGModelChecker.java
|
Explicit model checkers should throw an exception when iterative numerical methods do not converge within maxIters.
|
15 years ago |
|
StateModelChecker.java
|
Static methods to create model checkers by type.
|
14 years ago |
|
StateValues.java
|
Type tidying in castValueTo methods.
|
14 years ago |
|
Utils.java
|
Utility array copy methods.
|
14 years ago |
|
package-info.java
|
Improved documentation (JavaDoc mostly).
|
16 years ago |
Dave Parker