Alberto Griggio
University of Padua(IT)Fondazione Bruno Kessler(IT)Istituto Nazionale di Fisica Nucleare, Sezione di Padova(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Model-Driven Software Engineering Techniques
Most-Cited Works
- → The nuXmv Symbolic Model Checker(2014)514 cited
- → The MathSAT5 SMT Solver(2013)461 cited
- → The MathSAT 4 SMT Solver(2008)200 cited
- → Software Model Checking via IC3(2012)150 cited
- → Software model checking via large-block encoding(2009)146 cited
- → IC3 Modulo Theories via Implicit Predicate Abstraction(2014)101 cited
- → Efficient Interpolant Generation in Satisfiability Modulo Theories(2008)83 cited