This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.

Project Activity

See All Activity >

License

Academic Free License (AFL), Apache License V2.0

Follow UCOMV

UCOMV Web Site

Other Useful Business Software
Migrate to innovate with Red Hat Enterprise Linux on Azure Icon
Migrate to innovate with Red Hat Enterprise Linux on Azure

Streamline your IT modernization journey with a holistic environment running Red Hat Enterprise Linux on Azure.

With Red Hat Enterprise Linux on Azure, businesses can confidently modernize their IT environment, knowing they don’t have to compromise on security, scalability, reliability, and ease of management. Securely accelerate innovation and unlock a competitive edge with enterprise-grade modern cloud infrastructure.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of UCOMV!

Additional Project Details

Operating Systems

Linux, Windows

Intended Audience

Science/Research, Advanced End Users

User Interface

Java Swing

Programming Language

Java

Related Categories

Java UML Tool, Java Design Software, Java Information Analysis Software

Registered

2008-07-15