Alberto Griggio
- Software Model Checking via Large-Block Encoding
2009/04/29 by Dirk Beyer, Beyer, Dirk, Alessandro Cimatti +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 · 3 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, Alberto Griggio, Cimatti, Alessandro +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
- Invariant Checking for SMT-based Systems with Quantifiers
2024/02/29 by Gianluca Redondi, Redondi, Gianluca, Alessandro Cimatti +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling