VeriFME

Project summary

The goal of this project is to work on formal verification technologies around behavioral modeling.

No tag defined for this project

• Development Status : 2 - Initial Implementation
• Intended Audience : Developers
• Intended Audience : End Users/Desktop
• License : OSI Approved : Eclipse Public License
• Natural Language : English
• Natural Language : French
• Programming Language : Java
• Topic : Software Development