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.
Release Date:
Topics:
Licenses:
Ratings and Reviews
Be the first to post a text review of UCOMV. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Be the first person to add a text review.
Related Projects
-
OncePD
This is a project for performance prediction of middleware based systems. The tool support the separation of modeling and construction for performance impacts. The input of our tool is UML model with SPT annotation.
-
Gnucash
GnuCash is a personal and small-business finance manager with a check-book like register GUI to enter and track bank accounts, stocks, income and expenses. GnuCash is designed to be simple and easy to use but still based on formal accounting principles.
-
UCOMV Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
