The Overture Initiative Integrating Tools for VDM
- Lookup NU author(s)
- Dr Peter Larsen
- Professor John Fitzgerald
|
|
|
|
| Author(s) | | Larsen PG, Battle N, Ferreira M, Fitzgerald J, Lausdahl K, Verhoef M |
| Publication type | | Article |
| Journal | | Software Engineering Notes |
| Year | | 2010 |
| Volume | | 35 |
| Issue | | 1 |
| Pages | | 1-6 |
| ISSN (print) | | 0163-5948 |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
|
| Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems using VDM. The mission is to both provide an industrial-strength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to the tools and language. This paper presents the current status and future vision of the Overture project. |
|
|
|
| Publisher | | ACM |
| URL | | http://doi.acm.org/10.1145/1668862.1668864 |
| DOI | | 10.1145/1668862.1668864 |
|
|
Actions | |   |
