Helmut Veith
- Counterexample-guided abstraction refinement for symbolic model checking
2003/09/01 by Edmund Clarke, Edmund M. Clarke, Orna Grumberg +4 · 59 citations
Computer Science · Engineering · Mathematics · #Abstraction #Abstraction model checking #Algorithm #Computer science #Counterexample #Formal Methods in Verification #Formal verification #Mathematics #Model checking #Programming language #Radiation Effects in Electronics #Software Testing and Debugging Techniques #Spurious relationship #State space #Symbolic data analysis #Symbolic trajectory evaluation #Theoretical computer science
- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
2014/01/22 by Moritz Sinn, Florian Zuleger, Sinn, Moritz +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #cs.DS #cs.PL
- On the automated verification of web applications with embedded SQL
2016/10/06 by Shachar Itzhaky, Tomer Kotek, Itzhaky, Shachar +11 · 1 citation
Computer Science · #68P15 #68Q60 #D.3.2 #Engineering and Information Technology #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Web Application Security Vulnerabilities #acm:68P15 #acm:68Q60 #cs.LO #msc:68P15 #msc:68Q60
- Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
2012/03/23 by Florian Zuleger, Sumit Gulwani, Zuleger, Florian +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques #cs.PL
- Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
2012/10/14 by Annu John, Igor Konnov, John, Annu +7 · 2 citations
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC) #cs.DC #cs.LO
- Counterexample-Guided Abstraction Refinement
2000/01/01 by Edmund M. Clarke, Edmund Clarke, Orna Grümberg +4 · 1 citation
Computer Science · Mathematics · #Abstract interpretation #Abstraction #Abstraction model checking #Algorithm #Computer science #Counterexample #Discrete mathematics #Formal Methods in Verification #Logic, programming, and type systems #Mathematics #Model checking #Predicate abstraction #Programming language #Software Testing and Debugging Techniques #Spurious relationship #State space #Theoretical computer science