Bombardelli, Alberto

Bombardelli, Alberto  

FM  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
Asynchronous Composition of Local Interface LTL Properties 1-gen-2022 Bombardelli, Alberto; Tonetta, Stefano
COMPASTA = COMPASS + TASTE 1-gen-2024 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 1-gen-2022 Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano
COMPASTA: Integrating COMPASS Functionality into TASTE 1-gen-2023 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
Metric Temporal Logic with Resettable Skewed Clocks 1-gen-2023 Bombardelli, Alberto; Tonetta, Stefano
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks 1-gen-2023 Bombardelli, Alberto; Tonetta, Stefano
Symbolic Model Checking of Relative Safety LTL Properties 1-gen-2024 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco