Towards Next Generation Tools for VDM: Contributions to the International Overture Workshop (1st). Held in Newcastle, England in July 2005 Technical rept. series

摘要

This report contains contributions to the first international workshop on Overture, a community project to develop open source interoperable tools for the formal modeling and analysis of computing systems, based on extensions to the Vienna Development Method (VDM and VDM++) modeling languages. The contributions address the industry-strength basic tools such as parsersas well as advanced capabilities including modeling real-time and embedded systems, and test generation.