Karp-Miller - Archive ouverte HAL
Logiciel Année : 2024

Karp-Miller

Résumé

The project contains a Coq 8.14+ designed correct by construction algorithm for deciding coverability for Petri nets, based on the construction of the Karp-Miller tree. It crucially exploits Dickson's lemma from the Kruskal-AlmostFull library.

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC] Algorithme et structure de données [cs.DS] Théorie et langage formel [cs.FL]

Dominique Larchey-Wendling  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04797649

Soumis le : vendredi 22 novembre 2024-11:10:37

Dernière modification le : samedi 23 novembre 2024-03:31:10

Consulter sur Present sur SoftwareHeritage

Dates et versions

hal-04797649 , version 1 (22-11-2024)

Identifiants

Métadonnées

  • version : 1.1
  • Licences : https://spdx.org/licenses/MPL-2.0
  • Langage de programmation : Coq
  • Code Repository : https://github.com/DmxLarchey/Karp-Miller.git

Citer

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LORIA-FM LOGICIELS-UL
0 Consultations
0 Téléchargements

Partager

More