ASCARI, FLAVIO Statistiche
ASCARI, FLAVIO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.02 secondi).
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Logics for Extensional, Locally Complete Analysis via Domain Refinements
2023-01-01 Ascari, F.; Bruni, R.; Gori, R.
Limits and difficulties in the design of under-approximation abstract domains
2022-01-01 Ascari, F.; Bruni, R.; Gori, R.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
Logics for Extensional, Locally Complete Analysis via Domain Refinements | 1-gen-2023 | Ascari, F.; Bruni, R.; Gori, R. | |
Limits and difficulties in the design of under-approximation abstract domains | 1-gen-2022 | Ascari, F.; Bruni, R.; Gori, R. |