Skip to Main content Skip to Navigation
Conference papers

Towards Support for Verification of Adaptative Systems with Djnn

Daniel Prun 1 Mathieu Magnaudet 1 Stéphane Chatty 1
1 ENAC - Ecole Nationale de l'Aviation Civile
Abstract : 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.
Keywords : formal verification semantic syntax model control structure component interactive system
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
https://hal-enac.archives-ouvertes.fr/hal-01888093
Contributor : Daniel Prun <>
Submitted on : Monday, June 15, 2020 - 12:09:14 PM
Last modification on : Tuesday, June 16, 2020 - 8:31:48 AM

File

Vignette du document
cognitive_2015_10_20_95007.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-01888093, version 1

Collections

ENAC | LII

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

44

Files downloads

12