Gianluca Redondi

Postdoc

Gianluca Redondi
E-mail

Publications

  1. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto; Mcmillan Kenneth, Invariant Checking for SMT-based Systems with Quantifiers
  2. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
  3. Redondi Gianluca; Cimatti Alessandro; Griggio Alberto, Towards Verification Modulo Theories of asynchronous systems via abstraction refinement
  4. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Verification of SMT Systems with Quantifiers
  5. Cimatti Alessandro; Griggio Alberto; Redondi Gianluca, Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning

Recent PostsGianluca Redondi

  • No articles found.