STARVOORS

The overall purpose of StaRVOOrS (`Unified Sta tic and Runtime Verification of Object-Or iented 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... 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.

Primary location: Vienna Austria