Sfoglia per Rivista  LOGICAL METHODS IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 7 di 7
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