Home // COGNITIVE 2015, The Seventh International Conference on Advanced Cognitive Technologies and Applications // View article

Towards Support for Verificatin of Adaptative Systems with Djnn

Authors:
Daniel Prun
Mathieu Magnaudet
Stéphane Chatty

Keywords: interactive system; component; control structure; model; syntax; semantic; formal verification

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.

Pages: 191 to 194

Copyright: Copyright (c) IARIA, 2015

Publication date: March 22, 2015

Published in: conference

ISSN: 2308-4197

ISBN: 978-1-61208-390-2

Location: Nice, France

Dates: from March 22, 2015 to March 27, 2015