Searching for authors named "Stefano Tonetta" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking
- … FOR EFFICIENT LTL MODEL CHECKING Roberto Sebastiani and Stefano Tonetta April 2003 Technical Report # DIT-03…
- Cited by 12 (2 self) – Add To MetaCart
-
Boolean abstraction for temporal logic satisfiability
- … , Viktor Schuppan 1 , and Stefano Tonetta 2 1 FBK-irst, IT-38050 Trento, Italy {cimatti…
- Cited by 1 (1 self) – Add To MetaCart
-
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking
- … Roberto Sebastiani1�, Stefano Tonetta1£, and Moshe Y. Vardi2�� 1 DIT, Università di Trento…
- Cited by 7 (1 self) – Add To MetaCart
-
GSTE is Partitioned Model Checking
- …GSTE is Partitioned Model Checking Roberto Sebastiani 1 ? , Eli Singerman 2 , Stefano Tonetta…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 4.
