Advertisement
International Conference for developers, artists and users of libre audio soft- and hardware: May 1-4 2010, Utrecht (NL)
Weekly Edition
Return to the Development page
| |||||||||||
|
| |||||||||||
SPARK toolsuite released under the GPLSPARK toolsuite released under the GPL
[Development] Posted Jun 8, 2009 16:45 UTC (Mon) by jake
The SPARK suite of tools for program verification (to help ensure reliability and security) are now available under the GPL. Because of that, Tokeneer, an experiment in using formal methods to verify the correctness of a biometric authentication system, is now an "open proof". That means that all of the tools needed to verify Tokeneer are available as free software. (thanks to David Wheeler who also has a lengthy blog posting about the release)
|
|||||||||||