Dynamic verification of Multicore Communication applications in MCAPI | IEEE Conference Publication | IEEE Xplore