Follow
Keiichi Watanabe
Keiichi Watanabe
The University of Tokyo
Verified email at is.s.u-tokyo.ac.jp - Homepage
Title
Cited by
Cited by
Year
Higher-order program verification via HFL model checking
N Kobayashi, T Tsukada, K Watanabe
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
362018
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
182019
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
92016
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
52017
The system can't perform the operation now. Try again later.
Articles 1–4