MCC: A runtime verification tool for MCAPI user applications
S. Sharma‚ G. Gopalakrishnan‚ E. Mercer and J. Holt
Book Title
Formal Methods in Computer−Aided Design‚ 2009. FMCAD 2009
ISBN
978−1−4244−4966−8
Keywords
application program interfaces‚ Application software‚ Cities and towns‚ Computer networks‚ Concurrent computing‚ dynamic model checker‚ dynamic partial order reduction algorithm‚ dynamic verification tool‚ formal verification‚ Interleaved codes‚ MCAPI user application‚ message passing‚ multicore communication API applications‚ Multicore processing‚ multiprocessing systems‚ push button model checker‚ Runtime environment‚ runtime verification tool‚ Yarn
Month
nov
Pages
41–44
Year
2009