TOPCASED-EventB

Project summary

This project aims to integrate the event B language into Topcased. Event B is a formal language based on B language using events to describe systems.

No tag defined for this project

• Development Status : 2 - Initial Implementation
• Environment : Other Environment
• Environment : Win32 (MS Windows)
• Environment : X11 Applications
• Intended Audience : Developers
• License : OSI Approved : Eclipse Public License
• Natural Language : English
• Operating System : MacOS
• Operating System : Microsoft : Windows
• Operating System : POSIX : Linux
• Programming Language : Java
• Topic : Scientific/Engineering
• Topic : Software Development