Silicis- formal [verification] framework Icon

Silicis- formal [verification] framework

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

KEEP ME UPDATED

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

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks
Screenshots can attract more users to your project.
Features can attract more users to your project.