As of 2008-05-12 00:00, this project may now be found at jtlv.
by sya
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.
sya committed patchset 15 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files
sya committed patchset 14 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files
sya committed patchset 13 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files
sya committed patchset 12 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 62 files
sya committed patchset 11 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 1 files
sya committed patchset 10 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 2 files
sya committed patchset 9 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 60 files
sya committed patchset 8 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 4 files
sya committed patchset 7 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 6 files
sya committed patchset 6 of module silicis to the Silicis- formal [verification] framework CVS repository, changing 2 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use