Xia, Yechuan
Xia, Yechuan
FM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Avoiding the Shoals - A New Approach to Liveness Checking
2024-01-01 Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Avoiding the Shoals - A New Approach to Liveness Checking | 1-gen-2024 | Xia, Yechuan; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen | |
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 |