HOL4系统相关论文
随着计算机系统规模的迅速增大，系统设计实现的正确性问题越来越严峻。形式化方法的出现，成为了解决该问题的一个重要手段。它运用数......
目前，计算机系统的设计正确性检验问题已成为人们关注的重点，形式化方法就是一种新兴的系统设计验证方法，它有效地弥补了传统的测试、......
