Bombardelli, Alberto
Bombardelli, Alberto
FM
Asynchronous Composition of Local Interface LTL Properties
2022-01-01 Bombardelli, Alberto; Tonetta, Stefano
COMPASTA = COMPASS + TASTE
2024-01-01 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
2022-01-01 Bombardelli, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano
COMPASTA: Integrating COMPASS Functionality into TASTE
2023-01-01 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
2023-01-01 Bombardelli, Alberto; Tonetta, Stefano
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
2023-01-01 Bombardelli, Alberto; Tonetta, Stefano
Symbolic Model Checking of Relative Safety LTL Properties
2024-01-01 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
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 |