Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
NuRV: a nuXmv Extension for Runtime Verification
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Unique solutions of contractions, CCS, and their HOL formalisation
2020-01-01 Tian, Chun; Sangiorgi, Davide
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-Based Runtime Verification of Finite- and Infinite-State Systems
2022-11-23 Tian, Chun
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