微博
加入微博一起分享新鲜事
登录
|
注册
140
dafny是一种可验证的编程语言，由微软推出，现已经开源。dafny能够自我验证，可以在VS Code中进行开发，在编辑算法时，写好前置条件和后置条件，dafny验证器就能实时验证算法是否正确。在官方的例子中，以Abs… https://codeuuu.com/p/39669.html
请登录并选择要私信的好友
300
dafny是一种可验证的编程语言，由微软推出，现已经开源。dafny能够自我验证，可以在VS Code中进行开发，在编辑算法时，写好前置条件和后置条件，dafny验证器就能实时验证算法是否正确。在官方的例子中，以Abs… https://codeuuu.com/p/39669.html
赞一下这个内容
公开
分享
获取分享按钮
正在发布微博，请稍候