Sfoglia per Autore
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
2005-01-01 Armando, Alessandro; L., Compagna; Ranise, Silvio
Decision Procedures for the Formal Analysis of Software
2006-01-01 D., Déharbe; P., Fontaine; Ranise, Silvio; C., Ringeissen
Automatic Combinability of Rewriting-Based Satisfiability Procedures
2006-01-01 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
Efficient theory combination via boolean search
2006-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
2006-01-01 Ranise, Silvio; C. G., Zarba
Intelligent Systems and Formal Methods in Software Engineering
2006-01-01 B., Beckert; T., Hoare; R., Hähnle; D. R., Smith; C., Green; Ranise, Silvio; C., Tinelli; T., Ball; S. K., Rajamani
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
2006-01-01 M. P., Bonacina; S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
2007-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Decision Procedures for Extensions of the Theory of Arrays
2007-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Noetherianity and Combination Problems
2007-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Building Extended Canonizers by Graph-Based Deduction
2007-01-01 Ranise, Silvio; C., Scharff
Combining Proof-Producing Decision Procedures
2007-01-01 Ranise, Silvio; C., Ringeissen; D. K., Tran
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2007-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Towards SMT Model Checking of Array-Based Systems
2008-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework
2008-01-01 D., Déharbe; Ranise, Silvio; J., Vidal
New results on rewrite-based satisfiability procedures
2009-01-01 Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz
Preface
2009-01-01 Ranise, Silvio; U., Hustadt
Satisfiability solving for software verification
2009-01-01 D., Deharbe; Ranise, Silvio
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
2009-01-01 M., Barletta; Ranise, Silvio; L., Viganò:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
2009-01-01 S., Ghilardi; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation | 1-gen-2005 | Armando, Alessandro; L., Compagna; Ranise, Silvio | |
Decision Procedures for the Formal Analysis of Software | 1-gen-2006 | D., Déharbe; P., Fontaine; Ranise, Silvio; C., Ringeissen | |
Automatic Combinability of Rewriting-Based Satisfiability Procedures | 1-gen-2006 | H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran | |
Efficient theory combination via boolean search | 1-gen-2006 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto | |
A Theory of Singly-Linked Lists and its Extensible Decision Procedure | 1-gen-2006 | Ranise, Silvio; C. G., Zarba | |
Intelligent Systems and Formal Methods in Software Engineering | 1-gen-2006 | B., Beckert; T., Hoare; R., Hähnle; D. R., Smith; C., Green; Ranise, Silvio; C., Tinelli; T., Ball; S. K., Rajamani | |
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures | 1-gen-2006 | M. P., Bonacina; S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems | 1-gen-2007 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
Decision Procedures for Extensions of the Theory of Arrays | 1-gen-2007 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
Noetherianity and Combination Problems | 1-gen-2007 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
Building Extended Canonizers by Graph-Based Deduction | 1-gen-2007 | Ranise, Silvio; C., Scharff | |
Combining Proof-Producing Decision Procedures | 1-gen-2007 | Ranise, Silvio; C., Ringeissen; D. K., Tran | |
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies | 1-gen-2007 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
Towards SMT Model Checking of Array-Based Systems | 1-gen-2008 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework | 1-gen-2008 | D., Déharbe; Ranise, Silvio; J., Vidal | |
New results on rewrite-based satisfiability procedures | 1-gen-2009 | Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz | |
Preface | 1-gen-2009 | Ranise, Silvio; U., Hustadt | |
Satisfiability solving for software verification | 1-gen-2009 | D., Deharbe; Ranise, Silvio | |
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures | 1-gen-2009 | M., Barletta; Ranise, Silvio; L., Viganò: | |
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories | 1-gen-2009 | S., Ghilardi; 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