Mathias Preiner
- 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
- Bitwuzla at the SMT-COMP 2020
2020/05/30 by Aina Niemetz, Niemetz, Aina, Mathias Preiner +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 #Numerical Methods and Algorithms