Vooduu: Verification of object-oriented designs using UPPAAL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2988, Issue , 2004, Pages 139-143

  Diethers, Rarsten ^a   Huhn, Michaela ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION; GRAPHIC METHODS; MACHINERY; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE PROTOTYPING; UNIFIED MODELING LANGUAGE;

CONSISTENCY CHECKS; CONTROL SOFTWARE; OBJECT ORIENTED DESIGN; ROBOT PROTOTYPES; SEQUENCE DIAGRAMS; STATE CHART DIAGRAMS; TIMING CONSTRAINTS; UML SEQUENCE DIAGRAMS;

MODEL CHECKING;

EID: 35048873251     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_10     Document Type: Article

References (5)

1. Firley, Th., Huhn, M., Diethers, K., Gehrke, Th., Goltz, U.: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. In Proc. of UML'99 - Beyond the Standard, USA, Springer, (1999) 645-660
2. Diethers, K., Goltz, U., Huhn, M.: Model Checking UML Statecharts with Time. In Proc. of UML'02, Workshop on Critical Systems Development with UML, September 2002
3. Knapp, A., Merz, S., Rauh, Ch.: Model Checking Timed UML State Machines and Collaborations. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002), pp. 395-414, 2002, LNCS 2469, Springer
4. David, A., Moller, O, Yi, W.: Formal Verification of UML Statecharts with Real-Time Extensions. Fundamental Approaches to Software Engineering (FASE'2002), 2002, LNCS 2306, pp. 218-232, Springer
5. Behrman, G., David, A., Larsen, K., Möller, O., Petterson, P., Yi, W.: Uppaal - Present and Future, Proc. of the 40th IEEE Conference on Decision and Control, 2001, 2281-2286