Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
- Alberti, Francesco Universitá della Svizzera Italiana, via G. Buffi, 13, CH-6904, Lugano. E-mail: francesco.alberti@usi.ch
- Ghilardi, Silvio Department of Computer Science, Universitá degli Studi, via Comelico 35, I-20135 Milano. E-mails: ghilardi@dsi.unimi.it, pagani@dico.unimi.it
- Pagani, Elena Department of Computer Science, Universitá degli Studi, via Comelico 35, I-20135 Milano. E-mails: ghilardi@dsi.unimi.it, pagani@dico.unimi.it
- Ranise, Silvio FBK (Fondazione Bruno Kessler), Povo - Via Sommarive 18, I-38123 Trento. E-mail: ranise@fbk.eu
- Paolo Rossi, Gian Department of Computer Science, Universitá degli Studi, via Comelico 35, I-20135 Milano. E-mail: rossi@dico.unimi.it
- 2012-1-1
Published in:
- Journal on Satisfiability, Boolean Modeling and Computation. - IOS Press. - 2012, vol. 8, no. 1-2, p. 29-61
- Language
-
- English
- Open access status
- gold
- Identifiers
-
- DOI 10.3233/sat190087
- ISSN 1574-0617
- Persistent URL
- https://sonar.rero.ch/global/documents/28254
Statistics
Document views: 33
File downloads:
- Full-text: 0