Article

The IFAD VDM Tools: Lightweight Formal Methods

Authors:

FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Pages 326 - 329

Published: 07 October 1998 Publication History

Abstract

The services and tools supporting the ISO Standard VDMSL notation and its object-oriented extension VDM++ are commonly known as the VDM Technology. For both notations the company IFAD provides leading edge technology tools, training and consultcincy. Users of the VDM Technology typiccilly report on their work in the Toolbox Newsletter which is issued on a regular basis. This note provides a brief overview of the capabilities of the tools.

Cited By

View all

Jackson D(2019)Automating first-order relational logicACM SIGSOFT Software Engineering Notes10.1145/357474.35506325:6(130-139)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/357474.355063
Salaün GYe L(2015)Debugging Process Algebra SpecificationsProceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 893110.1007/978-3-662-46081-8_14(245-262)Online publication date: 12-Jan-2015
https://dl.acm.org/doi/10.1007/978-3-662-46081-8_14
Jackson DKnight J(2000)Automating first-order relational logicProceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications10.1145/355045.355063(130-139)Online publication date: 8-Nov-2000
https://dl.acm.org/doi/10.1145/355045.355063
Show More Cited By

Recommendations

Automated test case generation from IFAD VDM++ specifications
SEPADS'05: Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems

Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While object-oriented paradigm is the most widely accepted methodology for software ...
VDM and Z: A comparative case study
Abstract
The specification notations of VDM and Z are closely related. They both use model-based specification techniques and share a large part of their mathematical notation. However, the approaches taken to writing specifications differ in other, more ...
Using KIDS as a tool support for VDM
ICSE '96: Proceedings of the 18th international conference on Software engineering

KIDS/VDM is an experimental environment that supports the synthesis of executable prototypes from VDM specifications. The development proceeds as a series of correctness preserving transformations under the strict control of the tool. A by-product of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

October 1998

376 pages

ISBN:3540664629

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 October 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jackson D(2019)Automating first-order relational logicACM SIGSOFT Software Engineering Notes10.1145/357474.35506325:6(130-139)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/357474.355063
Salaün GYe L(2015)Debugging Process Algebra SpecificationsProceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 893110.1007/978-3-662-46081-8_14(245-262)Online publication date: 12-Jan-2015
https://dl.acm.org/doi/10.1007/978-3-662-46081-8_14
Jackson DKnight J(2000)Automating first-order relational logicProceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications10.1145/355045.355063(130-139)Online publication date: 8-Nov-2000
https://dl.acm.org/doi/10.1145/355045.355063
Jackson DSchechter IShlyahter HGhezzi CJazayeri MWolf A(2000)AlcoaProceedings of the 22nd international conference on Software engineering10.1145/337180.337616(730-733)Online publication date: 1-Jun-2000
https://dl.acm.org/doi/10.1145/337180.337616

Abstract

Cited By

Recommendations

Automated test case generation from IFAD VDM++ specifications

VDM and Z: A comparative case study

Using KIDS as a tool support for VDM

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations