Verification systems:
<p>
<a href="http://www.cs.rpi.edu/~schupp/entries/SOFTWARE/simpl/index.html">Simplicissimus</a>
<p>
<a href="http://www.cs.rpi.edu/~musser/Tecton/">Tecton references</a>
<p>
<a href="http://spinroot.com/spin/whatispin.html">spin</a>
<hr>
Applications that might use verification:
<p>
<a href="http://www.stlport.org/resources/StepanovUSA.html">Stepanov</a>
<p>
<a href="http://linalg.org">LinBox</a>
<p> linbox sources