Making Formal Verification Amenable to Real-Time UML Practitioners

Pierre de Saqui-Sannes (1) , Ludovic Apvrille (2)

1 LAAS-OLC
2 LTCI - Laboratoire Traitement et Communication de l'Information

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

Domaines: Génie logiciel [cs.SE]

Pierre de Saqui-Sannes, Ludovic Apvrille. Making Formal Verification Amenable to Real-Time UML Practitioners. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p. ⟨hal-00381949⟩