Towards an Integrated CASE and Theorem Proving Tool for VDM-SL

Authors:
Sten Agerholm;Jacob Frost
Affiliations:
-;-
Venue:
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Year:
1997

Citing 0
Cited 3

Jakarta: A Toolset for Reasoning about JavaCard

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Cooperation of Formal Methods in an Engineering Based Software Development Process

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The overture initiative integrating tools for VDM

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract