Sfoglia per Autore
Certifying proofs for SAT-based model checking
2021-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Automatic Discovery of Fair Paths in Infinite-State Transition Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2021-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Proving the Existence of Fair Paths in Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
2021-01-01 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Optimization Modulo Non-linear Arithmetic via Incremental Linearization
2021-01-01 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
Analysis of Cyclic Fault Propagation via ASP
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
LTL falsification in infinite-state systems
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)
2022-01-01 Abraham, Erika; Davenport, James H.; England, Matthew; Griggio, Alberto
A comprehensive framework for the analysis of automotive systems
2022-01-01 Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano
The VMT-LIB Language and Tools
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2022-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
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
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
EVA: a Tool for the Compositional Verification of AUTOSAR Models
2023-01-01 Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian
Kratos2: an SMT-Based Model Checker for Imperative Programs
2023-01-01 Griggio, Alberto; Jonas, Martin
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Certifying proofs for SAT-based model checking | 1-gen-2021 | Griggio, Alberto; Roveri, Marco; Tonetta, Stefano | |
Automatic Discovery of Fair Paths in Infinite-State Transition Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2021 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
Proving the Existence of Fair Paths in Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems | 1-gen-2021 | Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano | |
Optimization Modulo Non-linear Arithmetic via Incremental Linearization | 1-gen-2021 | Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick | |
Analysis of Cyclic Fault Propagation via ASP | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg | |
LTL falsification in infinite-state systems | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto | |
Verification of SMT Systems with Quantifiers | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) | 1-gen-2022 | Abraham, Erika; Davenport, James H.; England, Matthew; Griggio, Alberto | |
A comprehensive framework for the analysis of automotive systems | 1-gen-2022 | Cimatti, Alessandro; Corfini, Sara; Cristoforetti, Luca; Di Natale, Marco; Griggio, Alberto; Puri, Stefano; Tonetta, Stefano | |
The VMT-LIB Language and Tools | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano | |
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2022 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
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 | |
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin | |
EVA: a Tool for the Compositional Verification of AUTOSAR Models | 1-gen-2023 | Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian | |
Kratos2: an SMT-Based Model Checker for Imperative Programs | 1-gen-2023 | Griggio, Alberto; Jonas, Martin | |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile