Browse Research and Tech Reports - Computer Science by Subject "reachability analysis"

  • Rocha, Camilo; Meseguer, José; Cesar Munoz (2016-10-02)
    This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...


    application/pdfPDF (263kB)