A Foundational Framework for the Specification and Verification of Mechanism Design - Archive ouverte HAL Accéder directement au contenu
Poster Année :

A Foundational Framework for the Specification and Verification of Mechanism Design

(1, 2) , (3, 4, 5)
1
2
3
4
5

Résumé

We introduce mech.v, an 6000-line open-source library of formally defined core mechanisms and concepts of mechanism design. It builds upon the widely-used Coq proof assistant and the Mathematical Components (MC) library to provides a strong infrastructure from which sound, formally machine-verified existing and new mechanisms can be developed, helping increase the confidence the services they offer are well-founded.
Fichier principal
Vignette du fichier
A-785-POSTER.pdf (360.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03715847 , version 1 (06-07-2022)

Identifiants

  • HAL Id : hal-03715847 , version 1

Citer

Pierre Jouvelot, Emilio Jesús Gallego Arias. A Foundational Framework for the Specification and Verification of Mechanism Design. EC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States. . ⟨hal-03715847⟩
64 Consultations
21 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More