Yutaka Nagashima
- COGENT: Certified Compilation for a Functional Systems Language
2016/01/21 by Liam O'Connor, Liam O’Connor, O'Connor, Liam +20 · 2 voices
Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems #cs.LO #cs.PL
- A Proof Strategy Language and Proof Script Generation for Isabelle/HOL
2016/06/09 by Yutaka Nagashima, Ramana Kumar, Nagashima, Yutaka +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing