Sfoglia per Autore
GSTE is partitioned Model Checking
2004-01-01 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
2005-01-01 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Simone, Semprini; Tonetta, Stefano
A Uniform Framework for Predicate Abstraction Approximation
2006-01-01 Tonetta, Stefano; Natasha, Sharygina
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Syntactic Optimizations for PSL Verification
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Property-driven partitioning for abstraction refinement
2007-01-01 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
GSTE is partitioned model checking
2007-01-01 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Loop Summarization Using Abstract Transformers
2008-01-01 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Abstract Model Checking without Computing the Abstraction
2009-01-01 Tonetta, Stefano
Loopfrog: A Static Analyzer for ANSI-C Programs
2009-01-01 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
The synergy of precise and fast abstractions for program verification
2009-01-01 Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich
Requirements Validation for Hybrid Systems
2009-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool
2009-01-01 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Model Checking of Hybrid Systems using Shallow Synchronization
2010-01-01 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Formalization and validation of a subset of the European Train Control System
2010-01-01 Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini
Formalization and Validation of Safety-Critical Requirements
2010-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
GSTE is partitioned Model Checking | 1-gen-2004 | Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi | |
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking | 1-gen-2005 | Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi | |
From PSL to NBA: a Modular Symbolic Encoding | 1-gen-2006 | Cimatti, Alessandro; Roveri, Marco; Simone, Semprini; Tonetta, Stefano | |
A Uniform Framework for Predicate Abstraction Approximation | 1-gen-2006 | Tonetta, Stefano; Natasha, Sharygina | |
Boolean Abstraction for Temporal Logic Satisfiability | 1-gen-2007 | Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano | |
Syntactic Optimizations for PSL Verification | 1-gen-2007 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano | |
Property-driven partitioning for abstraction refinement | 1-gen-2007 | Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi | |
GSTE is partitioned model checking | 1-gen-2007 | Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi | |
Object Models with Temporal Constraints | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
Loop Summarization Using Abstract Transformers | 1-gen-2008 | Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger | |
Symbolic Compilation of PSL | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano | |
From Informal Requirements to Property-Driven Formal Validation | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
Abstract Model Checking without Computing the Abstraction | 1-gen-2009 | Tonetta, Stefano | |
Loopfrog: A Static Analyzer for ANSI-C Programs | 1-gen-2009 | Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger | |
The synergy of precise and fast abstractions for program verification | 1-gen-2009 | Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich | |
Requirements Validation for Hybrid Systems | 1-gen-2009 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano | |
Supporting Requirements Validation: The EuRailCheck Tool | 1-gen-2009 | Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano | |
Model Checking of Hybrid Systems using Shallow Synchronization | 1-gen-2010 | Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano | |
Formalization and validation of a subset of the European Train Control System | 1-gen-2010 | Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini | |
Formalization and Validation of Safety-Critical Requirements | 1-gen-2010 | Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile