Finite model finding in satisfiability modulo theories
In recent years, Satisfiability Modulo Theories (SMT) solvers have emerged as powerful tools in many formal methods applications, including verification, automated theorem proving, planning and software synthesis. The expressive power of SMT allows problems from many disciplines to be handled in a s...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
University of Iowa
2013
|
| Subjects: | |
| Online Access: | https://ir.uiowa.edu/etd/5047 https://ir.uiowa.edu/cgi/viewcontent.cgi?article=5047&context=etd |