Brain, Martin
- 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
- CVC4 at the SMT Competition 2018
2018/06/20 by Clark Barrett, Barrett, Clark, Haniel Barbosa +19 · 2 citations
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