Sfoglia per Rivista FORMAL METHODS IN SYSTEM DESIGN
Mostrati risultati da 1 a 5 di 5
Assumption-based Runtime Verification
2022-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Loop Summarization using State and Transition Invariants
2013-01-01 Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger
SMT-based scenario verification for hybrid systems
2013-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis
2013-01-01 Ranise, Silvio
Tightening the contract refinements of a system architecture
2018-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Assumption-based Runtime Verification | 1-gen-2022 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Loop Summarization using State and Transition Invariants | 1-gen-2013 | Daniel, Kroening; Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich; Christoph M., Wintersteiger | |
SMT-based scenario verification for hybrid systems | 1-gen-2013 | Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano | |
Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis | 1-gen-2013 | Ranise, Silvio | |
Tightening the contract refinements of a system architecture | 1-gen-2018 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano |
Mostrati risultati da 1 a 5 di 5
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