Learn More
Annotating functional correctness properties of code using assertions, in principle, enables systematic checking of code against behavioral properties. In practice however, checking assertions can be costly, especially for complex code annotated with rich behavioral properties. This paper introduces a novel approach for distributing the problem of checking(More)
While annotating functional correctness properties of code, e.g., using assertions, enables automated conformance checking of program behaviors to expected properties and has found its use in many bug finding techniques, efficiently checking properties in practice remains challenging. In this paper, we introduce a novel approach to distributing checking(More)
  • 1