mcapi

MCC: A runtime verification tool for MCAPI user applications

Dynamic verification of Multicore Communication applications in MCAPI