Sindoni, Giulia
Sindoni, Giulia
FM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Theorem Prover Based Approach for SAT-Based Model Checking Certification
2025-01-01 Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano
Certifying rlive: A New Proof Strategy for Liveness Model Checking
2025-01-01 Sindoni, Giulia; Griggio, Alberto; Tonetta, Stefano
Ontology as Structure, Domain and Definition
2024-01-01 Bennett, Brandon; Sindoni, Giulia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Theorem Prover Based Approach for SAT-Based Model Checking Certification | 1-gen-2025 | Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; Palena, Marco; Roveri, Marco; Tonetta, Stefano | |
| Certifying rlive: A New Proof Strategy for Liveness Model Checking | 1-gen-2025 | Sindoni, Giulia; Griggio, Alberto; Tonetta, Stefano | |
| Ontology as Structure, Domain and Definition | 1-gen-2024 | Bennett, Brandon; Sindoni, Giulia |