Abella: A System for Reasoning about Relational Specifications

DOI10.6092/issn.1972-5787/4650zbMath1451.68315MaRDI QIDQ5195258

Andrew Gacek, Gopalan Nadathur, Yu-Ting Wang, Kaustuv Chaudhuri, Dale A. Miller, Alwen Tiu, David Baelde

Publication date: 18 September 2019

Full work available at URL: https://hal.inria.fr/hal-01102709

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B35: Mechanization of proofs and logical operations

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Related Items

Abella