Netvouz - link info http://netvouz.com/url/f7a9994c399b3b7b8d16197c1db279a0?feed=rss Info about a link Spin - Formal Verification http://spinroot.com/spin/whatispin.html Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT