TraceVis: Visualization for DSMC: tool, demonstration video, data
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).
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-3961196 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-3961196 |
Tags
- statistical-model-checking,-neural-networks,-visualization