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,..
Relevance: 12.157641