Dynamic verification of Multicore Communication applications in MCAPI
S. Sharma‚ G. Gopalakrishnan and E. Mercer
Book Title
High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009. IEEE International
Keywords
application program interfaces‚ Application software‚ Cities and towns‚ Computer science‚ concurrent programming‚ dynamic direct code verification tool‚ dynamic model checker‚ dynamic verification‚ Embedded system‚ formal design tool‚ Interleaved codes‚ message passing‚ model checking‚ multicore communication‚ Multicore processing‚ Partial Order‚ program verification‚ Runtime‚ Software‚ software verification‚ Standardization‚ Yarn
Month
nov
Pages
100–105
Year
2009