![Silicis- formal [verification] framework Icon](http://a.fsdn.com/con/img/project_default.png){kind=small}
As of 2008-05-12 0: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.
Browse Files for Silicis- formal [verification] framework
| File/Folder Name ↑ | Platform | Size | Date | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| All Files | Subscribe | ||||
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
