This project aims for providing a tool that enables strict verification in VDM++ by translating VDM++ specification into Event-B.
Follow VDM++ to Event-B translator
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of VDM++ to Event-B translator!