The overall purpose of StaRVOOrS (`Unified Static and Runtime Verification of Object-Oriented Software') is to provide a unified, lightweight to use but powerful in result, method for specifying and verifying, with a variety of confidence levels, properties of parallel object-oriented software systems.

Specific goals of StaRVOOrSs

• To combine the strengths of static and runtime verification into a verification method that is easier to use than static methods, while providing a higher level of confidence and a lower application slow down than runtime verification.

• To let both of the underlying verification techniques (static and runtime) profit to a great extent from the analysis performed by the respective other.

• To develop techniques which also allow exploiting partial results, like unfinished proofs, to strengthen the result of the unified verification method.

• To provide a unified framework for specifying desired properties of the system to be verified. The user will not have to separate sub-properties that are subject to static vs. runtime verification during the process.

• To support the combination of data centric and control centric properties, including real time constraints.

• To provide a verification solution for sequential, concurrent, and distributed object-oriented applications.

• To implement a powerful, integrated tool that achieves the aforementioned goals for Java applications
  in particular.