4 ms·spark version of Ada is such a language but it use design by contract assertion only.by skyde 7y agospark version of Ada is such a language but it use design by contract assertion only.