| ... | ... | @@ -6,4 +6,6 @@ This wiki is to give an overview about the _HYPEG_ tool created for the investig |
|
|
|
|
|
|
|
You can find a detailed thesis on the development of the tool [here](https://www.uni-muenster.de/imperia/md/content/informatik/agremke/masterarbeit_carina_pilch.pdf). In particular, we point to the second chapter presenting the theoretical background of the tool.
|
|
|
|
|
|
|
|
HYPEG has recently been extended to support non-linear continuous behavior (version 2.0).
|
|
|
|
|
|
|
|
[Start here to learn more](https://github.com/jannikhuels/libhpng/wiki/Getting-started) |
|
|
\ No newline at end of file |
