Sebastian Junges
|
d6bfcb4818
|
refactoring: moving some code out of the util folder
|
5 years ago |
Jip Spel
|
2bda04771b
|
Remove duplicate preprocessing
|
5 years ago |
Tim Quatmann
|
c6b984ca51
|
Do not perform the conversion from a prism program to a jani model twice.
|
5 years ago |
|
Tim Quatmann
|
c6c6f45483
|
Fixed compilation for storm-pars and storm-pomdp
|
6 years ago |
|
Tim Quatmann
|
739151af8d
|
CLI: Provide the engine as a parameter in most of the CLI options.
|
6 years ago |
|
Tim Quatmann
|
85bf82fcef
|
storm-pars: Removed redundant include.
|
6 years ago |
|
Tim Quatmann
|
d36cd93ae8
|
CLI: Split parsing and preprocessing of symbolic input into two steps.
Moved engine related methods and declaration to a separate file.
|
6 years ago |
Alexander Bork
|
605546358b
|
Added option to merge labels of eliminated states into existing states
|
6 years ago |
|
Jip Spel
|
be3cffe8ba
|
Write output monotonicity checking to user-specified file
|
6 years ago |
|
Alexander Bork
|
e28203fbb8
|
Added option to merge labels of eliminated states into existing states
|
6 years ago |
Matthias Volk
|
4c1958c245
|
Fixed some compiler warnings
|
6 years ago |
|
Jip Spel
|
ed3fa3f82b
|
Fix TODOs
|
6 years ago |
|
Jip Spel
|
e0b2869bd5
|
Fix region check
|
6 years ago |
|
Alexander Bork
|
450e074c5b
|
Integrated non-Markovian state elimination into Storm MA modelchecking
|
6 years ago |
|
Jip Spel
|
13f44ab7ea
|
Monotonicity Checking on Region
|
6 years ago |
|
Jip Spel
|
6db964363e
|
Update for artifact evaluation ATVA
|
6 years ago |
|
Jip Spel
|
2883f81be1
|
Move settings to separate file
|
6 years ago |
|
Jip Spel
|
4825cb254f
|
Precision as argument
|
6 years ago |
|
Jip Spel
|
0d1ddb6232
|
Make sampling in monotonicity-analysis optional
|
6 years ago |
|
Jip Spel
|
f6ea4d38bb
|
Fix assumption making and checking and testing
|
6 years ago |
|
Matthias Volk
|
87d078f897
|
Output error by STORM_LOG_ERROR
|
7 years ago |
|
Jip Spel
|
ed4f61d3ee
|
BIsmulation simplification bisimulation + fix lattice
|
7 years ago |
Sebastian Junges
|
8fbc8d56c0
|
graph preservation properties correctly computed for CTMCs
|
7 years ago |
|
Jip Spel
|
f41b61fb7b
|
Make cyclic part faster
|
7 years ago |
|
Jip Spel
|
9e690c95c6
|
Fix cyclic monotonicity check
|
7 years ago |
|
Jip Spel
|
ab14245350
|
Remove bool for stateElimination
|
7 years ago |
|
Jip Spel
|
c33a8df85f
|
Eliminate selfloop introduced by SCC elimination
|
7 years ago |
|
Jip Spel
|
48cba66d96
|
Add scc elimination
|
7 years ago |
|
Matthias Volk
|
bcde728c3c
|
Transform formulas to deterministic-time as well
|
7 years ago |
|
Matthias Volk
|
374071670a
|
Activated symbolic bisimulation for parametric models
|
7 years ago |
|
Matthias Volk
|
a1c5aa946c
|
Integrated symbolic verification of parametric systems into storm-pars
|
7 years ago |
|
Matthias Volk
|
dfd1fec8c5
|
Fixed compile issues
|
7 years ago |
|
Jip Spel
|
8d95e71c3e
|
Change output, Fix some small bugs
|
7 years ago |
|
TimQu
|
208ee76edb
|
storm-pars: Added possibility to compute the extremal value within a given region using parameter lifting.
|
7 years ago |
|
Jip Spel
|
748098e891
|
Output to results.txt file
|
7 years ago |
|
Jip Spel
|
f098daf2f3
|
Add stopwatches
|
7 years ago |
|
Jip Spel
|
cca2ad474e
|
First check on samples for monotonicity
|
7 years ago |
|
Jip Spel
|
c85da52e8b
|
Give message when no lattices are created
|
7 years ago |
|
Jip Spel
|
67862b0a8d
|
First implementation for cyclic parts in model
|
7 years ago |
|
Jip Spel
|
83cb103177
|
Change variable naming
|
7 years ago |
|
Jip Spel
|
24abcfb61c
|
AssumptionChecker for mdp
|
7 years ago |
|
Jip Spel
|
4afa6d8a0f
|
Make validation of assumptions optional
|
7 years ago |
|
Jip Spel
|
24a40bba80
|
Add validated assumptions to set
|
7 years ago |
|
Jip Spel
|
e23a222605
|
Add simple validation for assumptions
|
7 years ago |
|
Jip Spel
|
3fcf4f83c0
|
Clean up AssumptionMaker
|
7 years ago |
|
Jip Spel
|
92193cfb08
|
WIP: Check assumptions on samples
|
7 years ago |
|
Jip Spel
|
581410c54b
|
Add check acyclic
|
7 years ago |
|
Jip Spel
|
2e4991a75e
|
TODO added create deep copy not yet working correctly
|
7 years ago |
|
Jip Spel
|
28b77e6a7d
|
Create MonotonicityChecker and fix some bugs in AssumptionMaker
|
7 years ago |
|
Jip Spel
|
2a93b89c22
|
Create AssumptionMaker
|
7 years ago |
