Schrammel, Peter
- CBMC: The C Bounded Model Checker
2023/02/05 by Daniel Kroening, Peter Schrammel, Kroening, Daniel +3 · 2 voices · 5 citations
Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Advanced Malware Detection Techniques
- 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