Higher-order program verification via HFL model checking N Kobayashi, T Tsukada, K Watanabe Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 36 | 2018 |
Reduction from branching-time property verification of higher-order programs to HFL validity checking K Watanabe, T Tsukada, H Oshikawa, N Kobayashi Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019 | 18 | 2019 |
Automatically disproving fair termination of higher-order functional programs K Watanabe, R Sato, T Tsukada, N Kobayashi ACM SIGPLAN Notices 51 (9), 243-255, 2016 | 9 | 2016 |
Higher-order program verification via HFL model checking. CoRR abs/1710.08614 (2017) N Kobayashi, T Tsukada, K Watanabe arXiv preprint arXiv:1710.08614, 2017 | 5 | 2017 |