Kobayashi, Naoki

1. Higher-Order Program Verification via HFL Model Checking
   2017/10/24 by Naoki Kobayashi, Takeshi Tsukada, Kobayashi, Naoki +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
2. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
   2020/02/18 by Toman, John, Siqi, Ren, Suenaga, Kohei +2 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Toward Neural-Network-Guided Program Synthesis and Verification
   2021/03/17 by Naoki Kobayashi, Taro Sekiyama, Kobayashi, Naoki +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques