Sign in

MCC: A runtime verification tool for MCAPI user applications.

Subodh SharmaGanesh GopalakrishnanEric MercerJim Holt
Published in: FMCAD (2009)
Keyphrases
  • analysis tool
  • user friendly interface
  • model checking
  • real time
  • website
  • knowledge acquisition
  • user defined
  • user experience
  • user feedback