Published April 4, 2024
| Version v1
Software
Open
Partial Exploration Tool 2.0
Authors/Creators
- 1. Lancaster University Leipzig
- 2. Technische Universität München
Files
cav_3896_pet.zip
Additional details
Software
- Repository URL
- https://gitlab.lrz.de/i7/partial-exploration
- Programming language
- Java