Takeshi Tsukada
- 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
- Software Model-Checking as Cyclic-Proof Search
2021/11/10 by Takeshi Tsukada, Tsukada, Takeshi, Hiroshi Unno +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
- Programming with Quantum-Controlled Quantum Channels
2026/07/17 by Kengo Hirata, Takeshi Tsukada
#cs.PL #cs.LO #quant-ph