Deliverable 5


PROGRESS REPORT


Year 1 : October 2000 - September 2001

Date of preparation: October 2001


Contributors: all groups


Edited by: Ahmed Bouajjani, University of Paris 7

Part A: Executive Summary:

• Work progress and achievements
  • Abstraction and reduction techniques
  • Symbolic reachability analysis of extended automata
  • Verification methods and techniques for parametrized systems
  • Combination of methods and techniques
  • Development/Integration of tools and Experimentations
  
  
• Dissemination of results
  • Publications
  • Editorial activities and organization of workshops
  
  
• Coordination and Management
  • Internal meetings, visits, and cooperations
  • Management of the project
  
  

Part B: Achievements per Working Package

• WP1: Methods and tools
  • Task T1.1: Abstraction
  • Task T1.2: Symbolic analysis
  • Efficient state-space exploration
  
  
• WP2: Integration of tools and Experimentations
  • Task T2.1: Common language and interface
  • Task T2.2: Integration of tools
  • Task T2.3: Experimentations and case studies
  
  
• WP3: Project management / assessment
  • Task T3.1: Management and coordination
  • Task T3.2: Assessment and quality control
    • Results on methodology and validation techniques
    • Construction of validation tools and their integration
    • Applications and experimentations
  • Task T3.3: Dissemination and transfer activities
  
  
• Bibliography
• About this document ...