 | 2007 |
|---|
| 4 |       | Roderick Bloem,
Roberto Cavada,
Ingo Pill,
Marco Roveri,
Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements.
CAV 2007: 263-267 |
| 3 | | Roberto Cavada,
Alessandro Cimatti,
Anders Franzén,
Krishnamani Kalyanasundaram,
Marco Roveri,
R. K. Shyamasundar:
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
FMCAD 2007: 69-76 |
| 2006 |
|---|
| 2 | | Ingo Pill,
Simone Semprini,
Roberto Cavada,
Marco Roveri,
Roderick Bloem,
Alessandro Cimatti:
Formal analysis of hardware requirements.
DAC 2006: 821-826 |
| 2003 |
|---|
| 1 |  | Alessandro Cimatti,
Charles Pecheur,
Roberto Cavada:
Formal Verification of Diagnosability via Symbolic Model Checking.
IJCAI 2003: 363-369 |
