The Overture project aims at developing a set of open source tools (as Eclipse plug-ins) to support the Overture Modeling Language (OML). OML is inspired by the object-oriented formal specification language VDM++ (Vienna Development Method).
This project has not released any news articles.