R
Roberto Sebastiani
Researcher at University of Trento
Publications - 148
Citations - 9711
Roberto Sebastiani is an academic researcher from University of Trento. The author has contributed to research in topics: Satisfiability modulo theories & Satisfiability. The author has an hindex of 45, co-authored 144 publications receiving 9315 citations. Previous affiliations of Roberto Sebastiani include University of Genoa.
Papers
More filters
Book ChapterDOI
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
TL;DR: This paper describes version 2 of the NuSMV tool, a state-of-the-art symbolic model checker designed to be applicable in technology transfer projects and is robust and close to industrial systems standards.
Journal Article
NuSMV 2: An opensource tool for symbolic model checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
TL;DR: The NuSMV tool as mentioned in this paper is a symbolic model checker developed at CMU and designed to be applicable in technology transfer projects, it is a well structured, open, flexible and documented platform for model checking, and is robust and close to industrial systems standards.
Book ChapterDOI
The MathSAT5 SMT solver
TL;DR: The latest version of MathSAT5 supports most of the SMT-LIB theories and their combinations, and provides many functionalities, including sound SAT-style Boolean formula preprocessing for SMT formulae and a framework allowing users for plugging their custom tuned SAT solvers.
Proceedings Article
Nusmv version 2: an opensource tool for symbolic model checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
Journal Article
Reasoning with goal models
TL;DR: In this paper, a formal framework for reasoning with goal models is presented, in particular, a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axioms.