TraceVis: Towards Visualization for Deep Statistical Model Checking

Gros, TP; Groß, D; Gumhold, S; Hoffmann, J; Klauck, M; Steinmetz, M

by TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz

Reference:

TraceVis: Towards Visualization for Deep Statistical Model Checking (TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz), In Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. From Verification to Explanation, 2020.

Bibtex Entry:

@inproceedings{gros2020tracevis,
  title={TraceVis: Towards Visualization for Deep Statistical Model Checking},
  author={Gros, TP and Gro{\ss}, D and Gumhold, S and Hoffmann, J and Klauck, M and Steinmetz, M},
  booktitle={Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. From Verification to Explanation},
	url={http://fai.cs.uni-saarland.de/hoffmann/papers/isola20a.pdf},
  year={2020}
}