LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We present a tutorial on the Abella theorem prover that is designed to reason about relational specifications in higher-order abstract syntax.
Type de document :
Document associé à des manifestations scientifiques
https://hal.inria.fr/hal-01222774
Contributeur : Kaustuv Chaudhuri
<>
Soumis le : vendredi 30 octobre 2015 - 15:09:53
Dernière modification le : jeudi 10 mai 2018 - 02:06:42
Document(s) archivé(s) le : vendredi 28 avril 2017 - 06:45:13
Kaustuv Chaudhuri, Gopalan Nadathur. Reasoning about Computational Systems using Abella. Abella Tutorial, Aug 2015, Berlin, Germany. 2015. 〈hal-01222774〉
