Sfoglia per Rivista LOGICAL METHODS IN COMPUTER SCIENCE
Mostrati risultati da 1 a 7 di 7
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
2010-01-01 S., Ghilardi; Ranise, Silvio
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2022-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2012-01-01 Griggio, Alberto; Thi Thieu Hoa, Le; Roberto, Sebastiani
A first-order logic characterization of safety and co-safety languages
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
Quantifier-Free Interpolation of a Theory of Arrays
2012-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Software Model Checking with Explicit Scheduler and Symbolic Threads
2012-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis | 1-gen-2010 | S., Ghilardi; Ranise, Silvio | |
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2022 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | 1-gen-2012 | Griggio, Alberto; Thi Thieu Hoa, Le; Roberto, Sebastiani | |
A first-order logic characterization of safety and co-safety languages | 1-gen-2023 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
Quantifier-Free Interpolation of a Theory of Arrays | 1-gen-2012 | R., Bruttomesso; S., Ghilardi; Ranise, Silvio | |
Software Model Checking with Explicit Scheduler and Symbolic Threads | 1-gen-2012 | Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco |
Mostrati risultati da 1 a 7 di 7
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