Challenges in Comparing Software Verification Tools for C.

Florian Merz Carsten Sinz Stephan Falke

Published in: COMPARE (2012)

Keyphrases

interactive visualizations
software tools
key issues
technical challenges
real time
end users
lessons learned
visualization tools
data mining
data analysis
design decisions
visual analytics
computational tools
interactive systems
tool support
current challenges