Martin Brain

1. Safety Verification and Refutation by k-invariants and k-induction (extended version)
   2015/06/18 by Martin Brain, Saurabh Joshi, Brain, Martin +5 · 1 citation
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. CVC4 at the SMT Competition 2018
   2018/06/20 by Clark Barrett, Haniel Barbosa, Barrett, Clark +19 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
3. Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
   2026/07/16 by Taisa Kushner, Ryan McCleeary, Martin Brain
   #cs.CR #cs.AI #cs.AR