OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Making formal verification amenable to real-time UML practitioners

Saqui-Sannes, Pierre de and Apvrille, Ludovic Making formal verification amenable to real-time UML practitioners. (2009) In: 12th European Workshop on Dependable Computing, EWDC 2009, 14-15 Mai 2009, Toulouse, France .

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
181kB

Official URL: http://www.laas.fr/EWDC2009/

Abstract

TTool, a real-time UML toolkit, offers user-friendly interfaces to formal verification techniques such as reachability analysis, observer-based analysis and automatic generation of traceability matrices. Those techniques are surveyed in the paper.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page