[X] The "/system-config-vsftpd/system-config-vsftpd-0.5.1.tar.gz" file could not be found or is not available. Please select another file.

Share

More
Silicis- formal [verification] framework Icon

Silicis- formal [verification] framework

prealpha

by sya


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

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.


http://silicis.sourceforge.net





Separate each tag with a space.

Ratings and Reviews

Be the first to post a text review of Silicis- formal [verification] framework. 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.

Would you recommend this project?






<

Related Projects

Silicis- formal [verification] framework Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review