Sfoglia per Autore
Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
2006-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Decision procedures for the formal analysis of software
2006-01-01 Deharbe, D.; Fontaine, P.; Ranise, S.; Ringeissen, C.
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
2006-01-01 Bonacina, M. P.; Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
A theory of singly-linked lists and its extensible decision procedure
2006-01-01 Ranise, S.; Zarba, C.
Intelligent systems and formal methods in software engineering
2006-01-01 Beckert, B.; Hahnle, R.; Smith, D. R.; Green, C.; Ranise, S.; Tinelli, C.; Ball, T.; Rajamani, S. K.; Hoare, T.
Distributing the Workload in a Lazy Theorem-Prover
2007-01-01 Deharbe, D.; Ranise, S.; Vidal, J.
Combination methods for satisfiability and model-checking of infinite-state systems
2007-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Noetherianity and combination problems
2007-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Decision procedures for extensions of the theory of arrays
2007-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Combining proof-producing decision procedures
2007-01-01 Ranise, S.; Ringeissen, C.; Tran, D. -K.
Building extended canonizers by graph-based deduction
2007-01-01 Ranise, S.; Scharff, C.
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
2008-01-01 Deharbe, D.; Ranise, S.; Vidal, J.
Integrating static checking and interactive verification: Supporting multiple theories and provers in verification
2008-01-01 Kiniry, J. R.; Chalin, P.; Hurlin, C.; Breunesse, C. -B.; Charles, J.; Cok, D.; Jacobs, B.; Poll, E.; Ranise, S.; Schubert, A.; Tinelli, C.
New results on rewrite-based satisfiability procedures
2008-01-01 Armando, A.; Bonacina, M. P.; Ranise, S.; Schulz, S.
Towards SMT model checking of array-based systems
2008-01-01 Ghilardi, S.; Nicolini, E.; Ranise, S.; Zucchelli, D.
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
2009-01-01 Ghilardi, S; Ranise, S
Satisfiability solving for software verification
2009-01-01 Deharbe, D.; Ranise, S.
Verifying the interplay of authorization policies and workflow in service-oriented architectures
2009-01-01 Barletta, M.; Ranise, S.; Vigano, L.
Towards verification of security-aware e-services
2009-01-01 Ranise, S.
Light-Weight SMT-based Model Checking
2009-01-01 Ghilardi, S.; Ranise, S.; Valsecchi, T.
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