Login / Signup
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
Sriram Aananthakrishnan
Michael Delisi
Sarvani S. Vakkalanka
Anh Vo
Ganesh Gopalakrishnan
Robert M. Kirby
Rajeev Thakur
Published 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