Rewriting modulo SMT and open system analysis
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 properties of infinite-state open systems, i.e., systems that interact with a nond...
Saved in:
| Institution: | Escuela Colombiana de Ingeniería |
|---|---|
| Main Authors: | , , , |
| Format: | Artículo de revista |
| Language: | English |
| Published: |
Elsevier
2016
|
| Subjects: | |
| Online Access: | https://repositorio.escuelaing.edu.co/handle/001/1866 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
