Matthias Volk
|
c8158018b8
|
Use state elimination to eliminate chains of non-Markovian states in MA
|
6 years ago |
Tim Quatmann
|
3912d59a3b
|
Added kanban model for LRA test
|
6 years ago |
|
Tim Quatmann
|
f9f845bb79
|
Separated LRA tests from CTMC tests and added a testcase for LRA Rewards
|
6 years ago |
|
Tim Quatmann
|
2b55302a4b
|
Testcase for replacing of unassigned variables.
|
6 years ago |
|
Matthias Volk
|
61c1ec8537
|
Check for Zeno cycles in MA
|
6 years ago |
Jip Spel
|
179c46570b
|
Added missing file
|
6 years ago |
|
Tim Quatmann
|
c1b3a4f991
|
LraMdpPrctlModelCheckerTest: Test LRA computation for different environments. Added a testcase.
|
6 years ago |
|
Tim Quatmann
|
925f72f754
|
More testcases for multi-objective model checking with scheduler restrictions (including fixes).
|
6 years ago |
|
Tim Quatmann
|
3e8f53f640
|
Added test cases for multi-objective scheduler restriction checker.
|
6 years ago |
radioGiorgio
|
ad34cbb951
|
testing
|
6 years ago |
Alexander Bork
|
3616bdbf13
|
Added two test cases for the FDEP conflict search
|
6 years ago |
|
Matthias Volk
|
51b210a1d6
|
Test case for symmetry reduction
|
7 years ago |
|
Alexander Bork
|
dde18d45eb
|
Added tests for DFT transformator
|
7 years ago |
|
Alexander Bork
|
f37bcea1ea
|
Added test for bound correction
|
7 years ago |
|
Jip Spel
|
f6ea4d38bb
|
Fix assumption making and checking and testing
|
7 years ago |
|
Alexander Bork
|
f16b488590
|
Added conservative lower bound correction
|
7 years ago |
|
Alexander Bork
|
a669c69fc9
|
Added tests for SMT encoding
|
7 years ago |
|
Matthias Volk
|
f1c91d9280
|
Test case for SEQ bug
|
7 years ago |
|
Matthias Volk
|
9bf4348677
|
Test cases for DFT model building with relevant events
|
7 years ago |
|
Matthias Volk
|
9ce3f9f58d
|
Added tests for mutex
|
7 years ago |
|
Matthias Volk
|
2ebac862e2
|
Added test cases for DFT approximation
|
7 years ago |
|
Matthias Volk
|
58a4491f72
|
Test cases for DFT model building with relevant events
|
7 years ago |
|
Matthias Volk
|
2ccd6d22dc
|
Added tests for mutex
|
7 years ago |
|
Matthias Volk
|
23233afe0b
|
Added test cases for DFT approximation
|
7 years ago |
|
Matthias Volk
|
19824976f7
|
Added helper script for downloading the QVBS
|
7 years ago |
|
Alexander Bork
|
be86014007
|
Added test for hecs-DFT
|
7 years ago |
|
Tim Quatmann
|
d24f61ded6
|
Added tests for quantiles.
|
7 years ago |
|
Alexander Bork
|
2ab7c34b4d
|
Added tests for cycles and SEQ children
|
7 years ago |
|
Matthias Volk
|
369d106f99
|
DFT: load json from string
|
7 years ago |
|
TimQu
|
5a16b2befa
|
minor fixes to let the total reward tests compile and pass
|
7 years ago |
|
TimQu
|
1f4c0325be
|
test cases for ctmcs and markov automata
|
7 years ago |
dehnert
|
ca651ec61c
|
fixes github issue #24 related to MEC decomposition
|
8 years ago |
|
Matthias Volk
|
ef1cbae83c
|
Tests for DRN parser
|
8 years ago |
|
Matthias Volk
|
df1571d737
|
Added more DFT tests
|
8 years ago |
|
Matthias Volk
|
2c9f6294a4
|
Started on DFT regression tests
|
8 years ago |
|
dehnert
|
4591dba631
|
made maxsat-based counterexample generation be applicable to DTMCs and MDPs
|
8 years ago |
|
dehnert
|
676120229b
|
intermediate stage
|
8 years ago |
|
TimQu
|
ea6c957030
|
tests for multi-dimensional cost bounded DTMCs
|
8 years ago |
|
TimQu
|
64a0d7ec3a
|
added missing file
|
8 years ago |
|
TimQu
|
ade8078759
|
added test for lower bounded properties
|
8 years ago |
|
TimQu
|
591a53582a
|
fixed test
|
8 years ago |
|
TimQu
|
e1aba323bf
|
more tests for reward unfolding
|
8 years ago |
|
TimQu
|
172b17d7ae
|
simple testcase for the reward unfolding
|
8 years ago |
|
dehnert
|
a7dcdcd84d
|
started on tests and added a ton of debug output
|
8 years ago |
|
dehnert
|
52b07a0c2f
|
fixed a bug in sparse matrix builder, fixed some tests
|
8 years ago |
|
TimQu
|
0cdd32ff9f
|
added two test cases for the drn parser
|
9 years ago |
|
TimQu
|
722e67fe64
|
parsing choice labels for explicit models
|
9 years ago |
|
dehnert
|
03ad4c2783
|
first version of symbolic bisimulation minimization
|
9 years ago |
|
TimQu
|
c4dffe9a8b
|
tests for step bounded properties
|
9 years ago |
|
TimQu
|
24bc53549c
|
more tests on pmdps and fixes
|
9 years ago |
