Skip to Main content Skip to Navigation
Documents associated with scientific events

Reasoning about Computational Systems using Abella

Kaustuv Chaudhuri 1 Gopalan Nadathur 2
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : We present a tutorial on the Abella theorem prover that is designed to reason about relational specifications in higher-order abstract syntax.
Document type :
Documents associated with scientific events
Complete list of metadata

https://hal.inria.fr/hal-01222774
Contributor : Kaustuv Chaudhuri <>
Submitted on : Friday, October 30, 2015 - 3:09:53 PM
Last modification on : Saturday, February 27, 2021 - 4:02:05 PM
Long-term archiving on: : Friday, April 28, 2017 - 6:45:13 AM

File

slides.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-01222774, version 1

Collections

Citation

Kaustuv Chaudhuri, Gopalan Nadathur. Reasoning about Computational Systems using Abella. Abella Tutorial, Aug 2015, Berlin, Germany. 2015. ⟨hal-01222774⟩

Share

Metrics

Record views

545

Files downloads

102