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 |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |