Matthias Volk
|
e2e7919427
|
Fixed links in GSPN doc
|
5 years ago |
|
Matthias Volk
|
42d2f1be01
|
Small revision in GSPN doc
|
5 years ago |
hannah
|
efabfd0cbe
|
completed documentation and added some testcases
|
5 years ago |
|
hannah
|
c076609c34
|
small correction in gspn doc
|
5 years ago |
|
hannah
|
c014234e77
|
added content to the gspn documentation
|
5 years ago |
|
hannah
|
42e0774d83
|
documentation for gspn bindings
|
5 years ago |
Sebastian Junges
|
dff5e65b93
|
new information on using different model checking techniques
|
6 years ago |
|
Sebastian Junges
|
2f8c8c6be9
|
topological sort added to examples
|
6 years ago |
|
Sebastian Junges
|
3f06963172
|
extended description of changing model checking environments
|
6 years ago |
|
Sebastian Junges
|
52b88c3710
|
A new example showing that one can change the analysis method
|
6 years ago |
|
Sebastian Junges
|
752522aa9f
|
new example on parametric models
|
6 years ago |
|
Sebastian Junges
|
1930a6d612
|
generic parse_properties for simpler code
|
6 years ago |
|
Matthias Volk
|
0595ee1d64
|
Added documentation for MA scheduler extraction
|
6 years ago |
|
Matthias Volk
|
37d82d4e0c
|
Fixed typo in doc
|
6 years ago |
|
Matthias Volk
|
e148fbcd6a
|
Added documenation for schedulers
|
6 years ago |
|
Matthias Volk
|
c714cb68f5
|
Added documentation for engines
|
7 years ago |
|
Matthias Volk
|
4ab6277e3f
|
Fixed some typos
|
7 years ago |
|
Sebastian Junges
|
6b3033ca67
|
added missing file with description of exploration
|
7 years ago |
|
Matthias Volk
|
69202f2ddf
|
Added space
|
7 years ago |
|
Matthias Volk
|
1308fe2e93
|
Changes according to DFT loading in Storm
|
7 years ago |
|
Matthias Volk
|
8dfd0b4332
|
First part of DFT documentation
|
7 years ago |
|
Matthias Volk
|
7821e72dac
|
Fixed path in documentation
|
7 years ago |
|
Matthias Volk
|
2ab55a3b30
|
Fixed number in doc test
|
7 years ago |
|
Matthias Volk
|
4daa733727
|
Moved documentation for parametric models into own file
|
7 years ago |
|
Matthias Volk
|
89ed130335
|
Extended documentation
|
7 years ago |
