Towards Support for Verification of Adaptative Systems with Djnn
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.
Origine : Accord explicite pour ce dépôt
Loading...