• Computer Science
  • Published 2013

Rewriting Modulo SMT

@inproceedings{Rocha2013RewritingMS,
  title={Rewriting Modulo SMT},
  author={Camilo Rocha and Jos{\'e} Meseguer and C{\'e}sar A. Mu{\~n}oz},
  year={2013}
}
Abstract Combining symbolic techniques such as: (i) SMT solving, (ii) rewriting modulotheories, and (iii) model checking can enable the analysis of in nite-state systemsoutside the scope of each such technique. This paper proposes rewriting moduloSMT as a new technique combining the powers of (i)-(iii) and ideally suited to modeland analyze in nite-state open systems; that is, systems that interact with a non-deterministic environment. Such systems exhibit both internal non-determinismdue to… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 39 REFERENCES