Published April 22, 2020
| Version 8ab9b3bc710f705b0bb9ee18c7eb4937e66d133e
Dataset
Open
Models and Infrastructure used in "Deep Statistical Model Checking"
Authors/Creators
- 1. Saarland University, Saarland Informatics Campus
Description
This repository contains the models and all other infrastructure (learning procedure, NNs, Jani generator, maps, modes & mcsta binaries) used in the FORTE 2020 paper "Deep Statistical Model Checking".
Files
DeepStatisticalModelChecking_infrastructure_forte2020.zip
Files
(11.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:534d2f45b53f182ce0b23f5af56d4857
|
11.7 MB | Preview Download |
Additional details
Related works
- Is cited by
- Conference paper: 10.1007/978-3-030-50086-3_6 (DOI)
References
- Gros, T.P., Hermanns, H., Hoffmann, J., Klauck, M., Steinmetz, M.: Deep Statistical Model Checking. In: Proceedings of the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'20) (2020), available at https://doi.org/10.1007/978-3-030-50086-3_6.