E
Enrico Giunchiglia
Researcher at University of Genoa
Publications - 127
Citations - 7538
Enrico Giunchiglia is an academic researcher from University of Genoa. The author has contributed to research in topics: Satisfiability & Boolean satisfiability problem. The author has an hindex of 35, co-authored 125 publications receiving 7339 citations. Previous affiliations of Enrico Giunchiglia include University of Geneva.
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.
Journal ArticleDOI
Nonmonotonic causal theories
TL;DR: The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions.
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
Proceedings Article
An action language based on causal explanation: preliminary report
TL;DR: A new action language C is defined, based on the theory of causal explanation proposed recently by McCain and Turner, and its expressive power is illustrated by applying it to a number of examples.