As of 2008-05-12, 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.
Be the first to post a review of Silicis- formal [verification] framework!