Integrity Systems’ Correctness by Construction) that add aspects of formalism
to otherwise non-formal structured development processes. Perhaps most
significant of all is the increasing amount of work in the formal methods
community to automate as many formal activities as possible to make these