Relational analysis of algebraic datatypes.
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when using the language of sets and relations to reason about structured values such as algebraic datatypes. The key idea of our...
| Published in: | Software engineering notes. 30, 5 (2005). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |