An Overview of the HFL Model Checking Project
Programming Languages
2021-09-13 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.2109.04629,
title = {An Overview of the HFL Model Checking Project},
author = {Naoki Kobayashi},
journal= {arXiv preprint arXiv:2109.04629},
year = {2021}
}
Comments
In Proceedings HCVS 2021, arXiv:2109.03988