Published April 4, 2024
| Version v2
Software
Open
Partial Exploration Tool 2.0
- 1. Lancaster University Leipzig
- 2. Technische Universität München
Description
Partial Exploration Tool 2.0
Important: In case you want to use PET or write some extensions, we strongly recommend obtaining the current version from the repository https://gitlab.lrz.de/i7/partial-exploration. PET is still under active development and already changed significantly compared to this version.
A detailed README how to use this artifact can be found inside the .zip file.
Files
cav_3896_pet.zip
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c1b8ae252619086cd8aef20fcbd6d99c
|
2.6 GB | Preview Download |
Additional details
Related works
- Is part of
- Preprint: arXiv:2405.03885 (arXiv)
Software
- Repository URL
- https://gitlab.lrz.de/i7/partial-exploration
- Programming language
- Java