Abella: A system for reasoning about relational specifications

David Baelde, Andrew Gacek, Gopalan Nadathur, Yuting Wang, Kaustuv Chaudhuri, Dale Miller, Alwen Tiu

Research output: Contribution to journalArticlepeer-review

34 Scopus citations

Fingerprint

Dive into the research topics of 'Abella: A system for reasoning about relational specifications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science