How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
Sriram AananthakrishnanMichael DelisiSarvani S. VakkalankaAnh VoGanesh GopalakrishnanRobert M. KirbyRajeev ThakurPublished in: PVM/MPI (2009)
Keyphrases
- formal methods
- visualization tools
- dynamic environments
- formal analysis
- database systems
- visual languages
- formal models
- visualization tool
- databases
- model checking
- visual representations
- formal model
- software tools
- formal specification
- concurrency control
- building blocks
- information visualization
- decision support
- end users