TraceVis: Visualization for DSMC: tool, demonstration video, data
Timo P. Gros, Groß, David, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz · Zenodo (CERN European Organization for Nuclear Research) · 2020
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).