形式化方法

阿木博主一句话概括：基于形式化方法的Scheme语言并发程序正确性证明 阿木博主为你简单介绍： 本文旨在探讨使用形式化方法对Scheme语言并发程序进行正确性证明的实践。通过引入形式化方法的概念，结合Scheme语