The General Modeling Framework for Eclipse (GMF/E) is a framework usable by language engineers and generally anybody who wants to develop new formal verification methods, and test them using the VIATRA simulator.
Follow General Modeling Framework for Eclipse
Other Useful Business Software
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of General Modeling Framework for Eclipse!