=MCAPI - Multicore Communications API=

The complete [https://github.com/ericmercer/4M framework] for our modeling system of the MCAPI API is located on [http://github.com Github]. We also have a separate framework for translating MCAPI executions traces into [https://github.com/ericmercer/MP-trace-language SMT problems].
 
We are collaborating on this project with the University of Utah. [http://www.cs.utah.edu/formal_verification/mediawiki/index.php/MCAPI UofU MCAPI wiki ]