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

Link to this comparison view

vv-lab:software [2015/02/18 16:11] (current)
egm created
Line 1: Line 1:
 +* [http://​javapathfinder.org/​jpf-hj HJ-V]: Habanero Java Verification Runtime for JPF 
 +* [https://​github.com/​ericmercer/​4M 4M]: modeling language for API specification and verification. 
 +* [http://​github.com/​ericmercer/​MP-trace-language?​source=c MP Trace Language]: Trace language for message passing programs 
 +* [http://​babelfish.arc.nasa.gov/​hg/​jpf/​jpf-guided-test jpf-guided-test]:​ guided test extensions for JPF 
 +* [http://​github.com/​ericmercer/​javalite Javalite]: Javalite formalism in both Redex and Coq. 
 +* [[Modeling Operator Workload]] ([https://​github.com/​ericmercer/​workload Workload]--github):​ Workload extensions for JPF and Brahms.
vv-lab/software.txt · Last modified: 2015/02/18 16:11 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