Sfoglia per Autore Xia, Yechuan
Mostrati risultati da 1 a 2 di 2
Searching for i-Good Lemmas to Accelerate Safety Model Checking
2023-01-01 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
Avoiding the Shoals - A New Approach to Liveness Checking
2024-01-01 Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Searching for i-Good Lemmas to Accelerate Safety Model Checking | 1-gen-2023 | Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang | |
Avoiding the Shoals - A New Approach to Liveness Checking | 1-gen-2024 | Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen |
Mostrati risultati da 1 a 2 di 2
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