当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
An Overview of the HFL Model Checking Project
arXiv - CS - Programming Languages Pub Date : 2021-09-10 , DOI: arxiv-2109.04629
Naoki KobayashiThe University of Tokyo

In this article, we give an overview of our project on higher-order program verification based on HFL (higher-order fixpoint logic) model checking. After a brief introduction to HFL, we explain how it can be applied to program verification, and summarize the current status of the project.

中文翻译:

HFL 模型检查项目概述

在本文中,我们概述了基于 HFL(高阶定点逻辑)模型检查的高阶程序验证项目。在简要介绍了 HFL 之后,我们解释了如何将其应用于程序验证,并总结项目的当前状态。
更新日期:2021-09-13
down
wechat
bug