Reasoning about Computational Systems using Abella - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2015

Reasoning about Computational Systems using Abella

Abstract

We present a tutorial on the Abella theorem prover that is designed to reason about relational specifications in higher-order abstract syntax.
Fichier principal
Vignette du fichier
slides.pdf (210.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01222774 , version 1 (30-10-2015)

Licence

Attribution - NoDerivatives

Identifiers

  • HAL Id : hal-01222774 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More