 |
|
 |
|
|
|
|
|
| HAL: hal-00381949, version 1 |
| Detailed view |  Export this paper |
|
|
| 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse : France (2009) |
|
|
|
|
| Making Formal Verification Amenable to Real-Time UML Practitioners |
|
|
| Pierre De Saqui-Sannes 1Ludovic Apvrille 2 |
|
|
| (2009-05-14) |
|
|
|
| The TURTLE toolkit, or TTool for short, offers a real-time UML front-end and a user-friendly interface to simulation techniques and formal verification techniques such as reachability analysis, observer-based analysis and traceability matrices generation. TTool's main strength is the total hiding of formal languages to UML modelers, while offering formal verification capabilities |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'analyse et d'architecture des systèmes (LAAS) |
|
|
|
CNRS : UPR8001 – Université Paul Sabatier [UPS] - Toulouse III – Institut National Polytechnique de Toulouse - INPT – Institut National des Sciences Appliquées (INSA) - Toulouse |
|
|
| 2: | Laboratoire Traitement et Communication de l'Information [Paris] (LTCI) |
|
|
|
Télécom ParisTech – CNRS : UMR5141 |
|
|
|
|
|
|
|
|
|
| LAAS-OLC |
|
|
|
|
| Subject | : | Computer Science/Software Engineering |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00381949, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00381949 | |
| oai:hal.archives-ouvertes.fr:hal-00381949 | |
| From: Anne Bergez | |
| Submitted on: Tuesday, 12 May 2009 11:12:57 | |
| Updated on: Monday, 10 December 2012 15:53:53 | |
