This project aims for providing a tool that enables strict verification in VDM++ by translating VDM++ specification into Event-B.

Project Activity

See All Activity >

Follow VDM++ to Event-B translator

VDM++ to Event-B translator Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of VDM++ to Event-B translator!

Additional Project Details

Registered

2009-06-17
Report inappropriate content