Code Contracts and Correct by Construction

Permanently deleted user

Created March 24, 2014 05:03

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.