1-2-3-4-5-6-7-8-9-10-11-FM 1-FM 2-FM 3-FM 4-FM 5

Formal Methods/Tools

Setting-Up/Comercial Aspects

• Application Maturity
  • Scalability
  • Development Status
• Platform
• Operational System
• HW Requirements
• SW Requirements
• Costs/Rights/Restrictions
• Tool Customization/Deployment
• Level of automation
• Documentation
• Support
• Training

GDPA Homepage Last Updated 07.Nov.1999 Updated by Webmaster Last Revised 07.Nov.1999 Revised by Webmaster