LLbox - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2007

LLbox

Résumé

LLbox est un outil permettant de produire des preuves de séquents à partir de scénarios c'est à dire des ensembles non ordonnés d'événements correspondant à des tirs de transitions dans un réseau de Petri temporel. La preuve établit d'une part, la franchissabilité du scénario en considérant une sémantique de tir d'ordre partiel et d'autre part, donne le marquage résultant. Cet outil a été conçu afin de s'intégrer au sein de Romeo.
Fichier non déposé

Dates et versions

hal-01112538 , version 1 (03-02-2015)

Identifiants

  • HAL Id : hal-01112538 , version 1

Citer

Medesu Sogbohossou, David Delfieu. LLbox. 2007. ⟨hal-01112538⟩
1034 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More