The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover.
HUG '93: Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications（1993）
关键词
General-Purpose Theorem-Prover,HOL-Voss System
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要