Jackie Wang: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Automated Model-based Verification of Object-Oriented Code
J. S. Ostroff et al.
In Verified Software: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006) Microsoft Research MSR-TR-2006-117, 2006.
Details
|
BibTeX
| Download (pdf) |
|
[2]
|
Automated Model-Based Verification of Object-Oriented Code
Jonathan Ostroff et al.
In Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE) 2006.
Details
|
BibTeX
|
|
[3]
|
ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code
Jonathan Ostroff et al.
In Formal Methods 2006
Poster.
Details
|
BibTeX
|
|
