A Query Language for Automated General Analysis of Concurrent ...

• exposé - matière potentielle : interest
• exposé - matière potentielle : for a certain entry
• exposé
• expression écrite - matière potentielle : tasks

A Query Language for Automated General Analysis of Concurrent Ada Programs C. Black, S. M. Shatz Concurrent Software Systems Laboratory Department of Electrical Engineering and Computer Science University of Illinois at Chicago S. Tu Department of Computer Science University of New Orleans Abstract1 It is generally accepted that design, implementation and analysis of concurrent-software systems are very difficult activities that need support by automated techniques and tools. This is especially true for analysis, which is typically based on use of some type of formal model of the program and associated analysis of this model.

• state expression
• consideration for a user interface
• particular task
• tql
• statements of interest
• entry call
• model
• analysis
• query
• program