Code Contracts and Correct by Construction

Is it possible to add facilities to verify language implementations as well as support Code Contracts and CbyC in languages written in MPS.

Please sign in to leave a comment.