文件名称:Isabelle98.tar
介绍说明－－下载内容均来自于网络，请自行研究使用
用做定理证明、推理。可以扩展，比如与Z specification结合使用，做后期的verification。这个软件是软件工程学中formal method的一个很好的代表。-Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Isabelle98.tar