IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 168
Titolo Anno di pubblicazione Autori Unitn File
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 1-gen-2002 Cimatti, AlessandroSebastiani, Roberto +
NuSMV2: an Open Source Tool for Symbolic Model Checking 1-gen-2002 Cimatti, AlessandroGiunchiglia, FaustoPistore, MarcoRoveri, MarcoSebastiani, Roberto +
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Sebastiani, Roberto +
Journal of Symbolic Computation, Special Issue on Integration of Automated Reasoning and Computer Algebra Systems 1-gen-2002 Sebastiani, Roberto +
NuSMV 2: An opensource tool for symbolic model checking 1-gen-2002 Cimatti A.Giunchiglia F.Pistore M.Roveri M.Sebastiani R. +
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 1-gen-2002 Sebastiani, Roberto +
Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems.The Integration of Automated Reasoning and Computer Algebra Systems. 1-gen-2002 Sebastiani, Roberto +
SAT-Based Bounded Model Checking for Timed Systems 1-gen-2002 Sebastiani, Roberto +
Bounded Model Checking for Timed Systems. 1-gen-2002 Sebastiani, Roberto +
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 1-gen-2002 Sebastiani, Roberto +
Improving the Encoding of LTL Model Checking into SAT 1-gen-2002 Pistore, MarcoM. RoveriSebastiani, Roberto +
Integrating BDD-based and SAT-based Symbolic Model Checking 1-gen-2002 Pistore, MarcoM. RoveriSebastiani, Roberto +
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 1-gen-2003 Sebastiani, Roberto +
More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking" 1-gen-2003 Sebastiani, RobertoTonetta, Stefano
Efficiently Integrating Boolean Reasoning and Mathematical Solving 1-gen-2003 Cimatti, AlessandroSebastiani, Roberto +
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 1-gen-2003 Sebastiani, RobertoTonetta, Stefano
Formal Reasoning Techniques for Goal Models 1-gen-2003 Giorgini, PaoloSebastiani, RobertoMylopoulos, Ioannis +
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 1-gen-2003 Sebastiani, Roberto +
GSTE is Partitioned Model Checking 1-gen-2004 Sebastiani, RobertoTonetta, Stefano +
On Efficiently Integrating Boolean and Theory-Specific Solving Procedures 1-gen-2004 Sebastiani, Roberto
Mostrati risultati da 41 a 60 di 168
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