Volgen
Keiichi Watanabe
Keiichi Watanabe
The University of Tokyo
Geverifieerd e-mailadres voor is.s.u-tokyo.ac.jp - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4