VDM++ to Event-B translator

Brought to you by: yojiro

Last Update: 2014-04-20

Browse Code

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

po-auto-translator
Translating PO and POT files from one natural language to other.
Liquid: Maya Rendering Translator
Liquid is a tool for translating Maya scenes into another renderer's scene description. Various RenderMan-compliant renderers are supported. For more information please see the project homepage.
srt-translator
Subtitle translator from one natural language to other.
Game Translator
Utility for translating language packs used in games into a different language. Supports over 50 games, with more games added through small plugins. Simple and easy-to-use interface, and totally free.
VooDooM
The VooDooM project aims at developing open source support for the VDM language.