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 >

Categories

UML, Design, Information Analysis

License

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

Follow UCOMV

UCOMV Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
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

Advanced End Users, Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

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

Registered

2008-07-15
Report inappropriate content