| HAL-Inria | Publications, software ... of Inria's scientists |
Documents associated with scientific events
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.
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
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