Formal Method Tool

planning

Add a Review
0 Downloads (This Week)
Last Update:

Description

This project have a goal of development an enviroment to model and simulate an formal method named Petri Net. This tool must be build to help student undergraduate in a college course.

Formal Method Tool Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Formal Method Tool!

Additional Project Details

Languages

Brazilian Portuguese

Intended Audience

Information Technology

User Interface

Win32 (MS Windows)

Programming Language

C++

Registered

2007-09-24
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.