Towards Support for Verification of Adaptative Systems with Djnn - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Towards Support for Verification of Adaptative Systems with Djnn

(1) , (1) , (1)
1
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486
Mathieu Magnaudet
  • Fonction : Auteur
  • PersonId : 957733

Résumé

Djnn is a general framework dedicated to the development of complex interactive systems. We describe ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models. The results will serve to perform formal verification of interactive systems.
Fichier principal
Vignette du fichier
cognitive_2015_10_20_95007.pdf (185.24 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-01888093 , version 1 (15-06-2020)

Identifiants

  • HAL Id : hal-01888093 , version 1

Citer

Daniel Prun, Mathieu Magnaudet, Stéphane Chatty. Towards Support for Verification of Adaptative Systems with Djnn. COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications, Mar 2015, Nice, France. pp.ISBN: 978-1-61208-390-2. ⟨hal-01888093⟩

Collections

ENAC LII
44 Consultations
19 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More