Unno, Hiroshi
- Constraint-based Relational Verification
2021/06/04 by Unno, Hiroshi, Terauchi, Tachio, Koskinen, Eric · 6 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Automating Induction for Solving Horn Clauses
2016/10/21 by Hiroshi Unno, Sho Torii, Unno, Hiroshi +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)
- 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)
- 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
- Program Verification via Predicate Constraint Satisfiability Modulo Theories
2020/07/07 by Hiroshi Unno, Yuki Satake, Unno, Hiroshi +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
- Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
2023/07/28 by Kawamata, Fuga, Unno, Hiroshi, Sekiyama, Taro +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)