Silicis- formal [verification] framework
prealphaAs of 2008-05-12, this project may now be found at jtlv.
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.
Update Notifications
User Reviews
Be the first to post a review of Silicis- formal [verification] framework!