#### Filter Results:

- Full text PDF available (30)

#### Publication Year

2005

2017

- This year (1)
- Last 5 years (11)
- Last 10 years (33)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

We present a comparative evaluation of some generalization strategies which are applied by a method for the automated verification of infinite state reactive systems. The verification method is basedâ€¦ (More)

We consider infinite state reactive systems specified by using linear constraints over the integers, and we address the problem of verifying safety properties of these systems by applyingâ€¦ (More)

- Valerio Senni, Fabio Fioravanti
- TAP
- 2012

The goal of Bounded-Exhaustive Testing (BET) is the automatic generation of all the test cases satisfying a given invariant, within a given bound. When the input has a complex structure, theâ€¦ (More)

- Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
- QAPL
- 2014

Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in aâ€¦ (More)

- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- LOPSTR
- 2009

We present a method based on logic program transformation, for verifying Computation Tree Logic (CTLâˆ—) properties of finite state reactive systems. The finite state systems and the CTLâˆ— properties weâ€¦ (More)

- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- 25 Years GULP
- 2010

We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the approach based on rulesâ€¦ (More)

- Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- Formal Aspects of Computing
- 2012

Many approaches proposed in the literature for proving the correctness of unfold/fold transformations of logic programs make use of measures associated with program clauses. When from a program P 1â€¦ (More)

- Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- LOPSTR
- 2010

We address the problem of the automated verification of temporal properties of infinite state reactive systems. We present some improvements of a verification method based on the specialization ofâ€¦ (More)

- Christophe Ringeissen, Valerio Senni
- FroCoS
- 2011

Modularity is a highly desirable property in the development of satisfiability procedures. In this paper we are interested in using a dedicated superposition calculus to develop satisfiabilityâ€¦ (More)

- Alberto Pettorossi, Valerio Senni, Maurizio Proietti
- TPLP
- 2010

We consider an extension of logic programs, called Ï‰-programs, that can be used to define predicates over infinite lists. Ï‰-programs allow us to specify properties of the infinite behavior ofâ€¦ (More)