Summary
Dynamic invariant detection is feasible
- Conceived and developed the idea
- Prototype implementation
Dynamic invariant detection is accurate & useful
- Techniques to improve basic approach
- Experiments provide preliminary support
Dynamic invariant detection is a challenging and promising area for research and practice
- Practical? Not yet clear!