Property driven verification framework : application to real time property for UML MARTE software design

Property driven verification framework : application to real time property for UML MARTE software design

Show other versions (1)

Les techniques formelles de la famille « vérification de modèles » (« model checking ») se heurtent au problème de l’explosion combinatoire. Ceci limite les perspectives d’exploitation dans des projets industriels. Ce problème est provoqué par la combinatoire dans la construction de l’espace des éta...

Full description

Bibliographic Details
Main Author: Ge, Ning
Other Authors: Toulouse, INPT
Language:en
Published: 2014
Subjects:
Système temps réel critique
Spécification
Vérification
Propriété temps réel
Model checking
Sémantique exécutable
Real-time critical system
Specification
Verification
Real-time property
Executable semantics
Online Access:http://www.theses.fr/2014INPT0044/document

Internet

http://www.theses.fr/2014INPT0044/document

Similar Items