MCAPI - Multicore Communications API

The complete framework for our modeling system of the MCAPI API is located on Github. We also have a separate framework for translating MCAPI executions traces into SMT problems. We are collaborating on this project with the University of Utah. UofU MCAPI wiki

vv-lab/mcapi.txt · Last modified: 2015/02/18 22:14 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0