Differences

This shows you the differences between two versions of the page.

Link to this comparison view

vv-lab:mcapi [2015/02/18 22:11]
egm created
vv-lab:mcapi [2015/02/18 22:14] (current)
egm
Line 3: Line 3:
 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]. 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].
    
-== Collaborative Meetings == 
-===05-Feb-2010=== 
-* '''​Ben Mecham''':​ 
-*: ''​Reported on his efforts to bring on line a full MCAPI implementation in a network-on-a-chip design he is developing.''​ 
-* '''​Topher''':​ 
-*: ''​Factored OS file system had a tepid reception. ​ The Jurassic park was better received. ​ Seemed of more interest. ​ Topher will need accounts on smc-lab for access to our svn repository. ​ Once they have access, then we can send around the examples that Topher is working on.  Topher is green light to bring th park online.''​ 
-* '''​Everett''':​ 
-*: ''​In the SMT ignore functions and loops. ​ Focus on very short litmus tests. ​ Look at Sebastian Berkhart'​s set of litmus tests from PLDI 2007.  Also look at Ganesh'​s 2004 work (To be or not to be --- MPEC). ​ Let's ignore all the complexity and just focus on the getting it to fly through SMT.  We just look at these very simple litmus tests. ​ Roberts FMICS paper is worth looking at since he provides an example right off the bat.  Recreate the example litmus test in the opening section.''​ 
- 
-==Our Current Work== 
- 
-Current Work 
-*[[Formal Specification Language]] 
-*Nascent [[MCAPI Murphi Model]] 
- 
-Starts, Questions, Misc. 
-*[[MCAPI Clarifications]] 
-*[[First Formalization Attempt]] 
- 
-==External Links / Collaborators== 
- 
 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 ] 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 ]
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