Silicis- formal [verification] framework

prealpha

As of 2008-05-12, this project may now be found at jtlv.

Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code CVS Repository

Description

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.

Silicis- formal [verification] framework Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Silicis- formal [verification] framework!

Additional Project Details

Intended Audience

Advanced End Users, Developers, Education, Manufacturing, Quality Engineers, Science/Research

User Interface

Eclipse

Programming Language

C, Java

Registered

2006-05-16

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