However…
Despite all the potential benefits of having invariants in programs, there are relatively few invariants found in actual programs
?
There is no obvious reason to believe that this will change due to more research results and more education
Previous slide
Next slide
Back to first slide
View graphic version