The overture initiative integrating tools for VDM

Authors:
Peter Gorm Larsen;Nick Battle;Miguel Ferreira;John Fitzgerald;Kenneth Lausdahl;Marcel Verhoef
Affiliations:
Aarhus School of Engineering, Denmark;Fujitsu, UK;Software Improvement Group, Netherlands;Newcastle University, UK;Aarhus School of Engineering, Denmark;Chess, Netherlands
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2010

Citing 12
Cited 5

The IFAD VDM-SL toolbox: a practical approach to formal specifications

ACM SIGPLAN Notices
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
A Proof Obligation Generator for VDM-SL

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems
Validation Support for Distributed Real-Time Embedded Systems in VDM++

HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
VDMTools: advances in support for formal modeling in VDM

ACM SIGPLAN Notices
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Formal methods: Practice and experience

ACM Computing Surveys (CSUR)
Modelling Systems: Practical Tools and Techniques in Software Development

Modelling Systems: Practical Tools and Techniques in Software Development
Co-simulation of distributed embedded real-time control systems

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Modeling and validating distributed embedded real-time systems with VDM++

FM'06 Proceedings of the 14th international conference on Formal Methods

Collaborative modelling and co-simulation in the development of dependable embedded systems

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Proof obligation generation and discharging for recursive definitions in VDM

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A Deterministic Interpreter Simulating A Distributed real time system using VDM

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Combining VDM with executable code

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Design support and tooling for dependable embedded control software

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.