10 Years of the Higher-Order Model Checking Project (Extended Abstract)

Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming Pub Date : 2019-10-07 DOI:10.1145/3354166.3354167

N. Kobayashi

引用次数: 1

Abstract

We give an overview of the higher-order model checking project at the University of Tokyo. We provide references to the results obtained in the past 10 years, and explain what the project is now heading for.

查看原文本刊更多论文

高阶模型检验项目10年(扩展摘要)

本文概述了东京大学的高阶模型检验项目。我们提供了过去10年取得的成果的参考，并解释了项目现在的方向。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming

自引率

0.00%

发文量