windows9download

You Here : Home > Linux

UCOMV

OS Support:

Linux, WinXP


Publisher

Old version

Update:

January 26 2009

Download:

UCOMV


Description

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.


Related Downloads


Software Tags

Ucomv

Size : 2.8 MB

Next/Pre