Browse by Author "Jose Meseguer"
Now showing items 1-2 of 2
Camilo Rocha; Jose Meseguer; 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 ...
Jose Meseguer (2015-11)Although different satisfiability decision procedures can be combined by algorithms such as those of Nelson-Oppen or Shostak, current tools typically can only support a finite number of theories to use in such ...