Formal Methods
Proving that a program or protocol meets its specification, with model checking, theorem proving and static analysis.
- 作品
- 0 部作品
- 人物
- 0 位研究者
相关分类
Formal Methods领域的研究者
还没有人将该分类列为研究兴趣。
把它加入你的研究兴趣，你就会出现在这里。
Formal Methods中的成果
该分类下暂无出版物。
Proving that a program or protocol meets its specification, with model checking, theorem proving and static analysis.
还没有人将该分类列为研究兴趣。
把它加入你的研究兴趣，你就会出现在这里。
该分类下暂无出版物。