Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Mcc: A Runtime Verification Tool For Mcapi User Applications, Eric G. Mercer, Ganesh Gopalakrishnan, Jim Holt, Subodh Sharma
Mcc: A Runtime Verification Tool For Mcapi User Applications, Eric G. Mercer, Ganesh Gopalakrishnan, Jim Holt, Subodh Sharma
Faculty Publications
We present a dynamic verification tool MCC for Multicore Communication API applications – a new API for communication among cores. MCC systematically explores all relevant interleavings of an MCAPI application using a tailormade dynamic partial order reduction algorithm (DPOR). Our contributions are (i) a way to model the non-overtaking message matching relation underlying MCAPI calls with a high level algorithm to effect DPOR for MCAPI that controls the lower level details so that the intended executions happen at runtime; and (ii) a list of default safety properties that can be utilized in the process of verification. To our knowledge, this …