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

• Authors:

• John S. Fitzgerald;Peter Gorm Larsen

• Affiliations:

• -;-

• Venue:
• ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
• Year:
• 2006