Incremental inference

• Online algorithm improves

  • response time
  • space
  • front end computation
  • back end computation

• Process each variable value once, then discard

• Stop checking invariants after falsification

• To do: selectively disable instrumentation

Previous slide

Next slide

Back to first slide

View graphic version