Published July 27, 2020
| Version v1
Dataset
Open
TraceVis: Visualization for DSMC: tool, demonstration video, data
Creators
- 1. Saarland University
- 2. Technical University Dresden
Description
Tool demonstration video and source code of TraceVis, the visualization tool for Deep Statistical Model Checking, presented in the paper TraceVis: Towards Visualization for Deep Statistical Model Checking, published at ISoLA 2020 (9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation).
Files
archive_TraceVis.zip
Files
(1.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:99c7ca405826c283c6c6a219cfd63140
|
1.7 GB | Preview Download |
Additional details
Related works
- Is cited by
- Conference paper: 10.1007/978-3-030-83723-5_3 (DOI)
- References
- Conference paper: 10.1007/978-3-030-50086-3_6 (DOI)
References
- Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz: TraceVis: Towards Visualization for Deep Statistical Model Checking, ISoLA 2020