Overview

• About
• People
• Funding
• Sourceforge

Sub-Projects

• SpEx-JML

Documentation

• Papers
• More

Support

• Forums
• Bugs/Feature Requests
• Mailing Lists

• Extending JML for Modular Specification and Verification of Multi-Threaded Programs, December 2004.
  Edwin Rodríguez, Matthew Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby.
  To appear in the Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005).
  Technical Report, SAnToS-TR2004-10.
  pdf (Last updated: May 2005).
  
  
• Checking JML Specifications Using An Extensible Software Model Checking Framework, August 2004.
  Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff.
  To appear in the International Journal on Software Tools for Technology Transfer (STTT).
  Technical Report, SAnToS-TR2004-7.
  (Extended version of TACAS 2004 paper).
  pdf (Last updated: May 2005).
  
  
• Checking Strong Specifications Using An Extensible Software Model Checking Framework, April 2004.
  Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff.
  In the Proceedings of the Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).
  Technical Report, SAnToS-TR2003-10.
  pdf (Last updated: February 11, 2004). BibTeX