UCOMV

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

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

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

Similar Business Software

TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
Symbiotic EDA Suite

Find bugs early and raise the confidence in your design by using formal checks and formal properties. Apply formal early on in the design process wherever it makes sense for your application. Use formal cover traces to further your design understanding and answer hard questions about the design...

See Software
3SL Cradle

Manage needs, epics, user stories, features and the product backlog through a series of sprints, each using your choice of requirements management, model based systems engineering (MBSE) and test management with your preferred level of change tracking, configuration management and formal change...

See Software