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 May 2009 - 15 May 2009 (Toulouse, France).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 181kB |
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-SUPAERO (FRANCE) Other partners > Télécom Paris (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) |
| Laboratory name: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire Traitement et Communication de l'Information - LTCI (Paris, France) |
| Statistics: | download |
| Deposited On: | 04 Mar 2009 17:15 |
Repository Staff Only: item control page
