Coq, l'alpha et l'omega de la preuve pour B ?

Colin, Samuel ; Mariano, Georges ; et al.

In: https://hal.science/hal-00361302 ; 2009, 2009

Online report

Zugriff:

Volltext

14 pages + annexe de deux pages ; BiCoax, un plongement léger de la théorie de B en Coq, est la reprise d'une mise en oeuvre réalisée précédemment avec PhoX. Cet article décrit les choix d'implémentation faits dans BiCoax et comment ces choix font écho, ou non, à la théorie de B.

Titel:	Coq, l'alpha et l'omega de la preuve pour B ?
Autor/in / Beteiligte Person:	Colin, Samuel ; Mariano, Georges ; Évaluation des Systèmes de Transports Automatisés et leur Sécurité (INRETS/ESTAS) ; Institut National de Recherche sur les Transports et leur Sécurité (INRETS) ; BRILLANT
Link:	https://hal.science/hal-00361302 https://hal.science/hal-00361302/document Volltext
Zeitschrift:	https://hal.science/hal-00361302 ; 2009, 2009
Veröffentlichung:	HAL CCSD, 2009
Medientyp:	report
Schlagwort:	prouveur générique assistant de preuve Coq méthode B théorie des ensembles plongement léger [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS] [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Sonstiges:	Nachgewiesen in: BASE Sprachen: French Document Type: report Language: French Relation: hal-00361302; https://hal.science/hal-00361302; https://hal.science/hal-00361302/document; https://hal.science/hal-00361302/file/bicoax.pdf Rights: info:eu-repo/semantics/OpenAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.