Reasoning about Computational Systems using Abella - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2015

Reasoning about Computational Systems using Abella

Résumé

We present a tutorial on the Abella theorem prover that is designed to reason about relational specifications in higher-order abstract syntax.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
slides.pdf (210.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Kaustuv Chaudhuri  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01222774

Soumis le : vendredi 30 octobre 2015-15:09:53

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : vendredi 28 avril 2017-06:45:13

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : hal-01222774 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA-MECSCI INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
340 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More