MCC: A runtime verification tool for MCAPI user applications.

Subodh Sharma Ganesh Gopalakrishnan Eric Mercer Jim Holt

Published in: FMCAD (2009)

Keyphrases

analysis tool
user friendly interface
model checking
real time
website
knowledge acquisition
user defined
user experience
user feedback