RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
To ensure changes don't break existing code base, develop a plan involving various types of units. Consider verification extensively for the first versio because that's the focus of current changes with minimal compiler checking.
Sami seems to have something for this. Ask Sami about this issue
To ensure changes don't break existing code base, develop a plan involving various types of units. Consider verification extensively for the first versio because that's the focus of current changes with minimal compiler checking.
Sami seems to have something for this. Ask Sami about this issue