Sfoglia per Rivista
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Invariant Checking for SMT-based Systems with Quantifiers
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; Mcmillan, Kenneth
New results on rewrite-based satisfiability procedures
2009-01-01 Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz
Quantifier-free interpolation in combinations of equality interpolating theories
2014-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions | 1-gen-2018 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 1-gen-2019 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
| Invariant Checking for SMT-based Systems with Quantifiers | 1-gen-2024 | Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; Mcmillan, Kenneth | |
| New results on rewrite-based satisfiability procedures | 1-gen-2009 | Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz | |
| Quantifier-free interpolation in combinations of equality interpolating theories | 1-gen-2014 | Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio |
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