Cimatti, Alessandro
- Software Model Checking via Large-Block Encoding
2009/04/29 by Dirk Beyer, Alessandro Cimatti, Beyer, Dirk +7 · 4 citations
Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- The VMT-LIB Language and Tools
2021/09/27 by Alessandro Cimatti, Cimatti, Alessandro, Alberto Griggio +3 · 2 citations
Computer Science · #Formal Methods in Verification #Embedded Systems Design Techniques #Logic, programming, and type systems
- IC3 Modulo Theories via Implicit Predicate Abstraction
2013/10/25 by Alessandro Cimatti, Cimatti, Alessandro, Alberto Griggio +5 · 1 citation
Computer Science · #B.5.2 #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
2024/09/09 by Alessandro Cimatti, Thomas M. Grosen, Cimatti, Alessandro +7 · 1 voice · 2 citations
Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)