Cesare Tinelli
- Solving SAT and SAT Modulo Theories
2006/11/01 by Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · 42 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Constraint Satisfaction and Optimization
- Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025/05/21 by Abdalrhman Mohamed, Tomaz Mascarenhas, Mohamed, Abdalrhman +13 · 7 citations
Business, Management and Accounting · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quality and Management Systems #Quality and Supply Management
- Invariant stream generators using automatic abstract transformers based on a decidable logic
2012/05/16 by Pierre-Loïc Garoche, Temesghen Kahsai, Garoche, Pierre-Loïc +3 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Modeling and Simulation Systems #Real-time simulation and control systems #Security and Verification in Computing #Software Engineering (cs.SE)
- CVC4 at the SMT Competition 2018
2018/06/20 by Clark Barrett, Haniel Barbosa, Barrett, Clark +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
- Reasoning About Vectors using an SMT Theory of Sequences
2022/05/17 by Ying Sheng, Sheng, Ying, Andres Nötzli +17 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Partitioning Strategies for Distributed SMT Solving
2023/06/08 by Amalee Wilson, Andres Noetzli, Wilson, Amalee +9 · 1 citation
Computer Science · #Constraint Satisfaction and Optimization #Distributed #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Verifying SQL Queries using Theories of Tables and Relations
2024/05/05 by Mudathir Mohamed, Andrew Reynolds, Mohamed, Mudathir +5 · 2 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Quality and Management #Semantic Web and Ontologies