Netvouz / AllanBaasch / tag / verification http://netvouz.com/AllanBaasch/tag/verification?feed=rss AllanBaasch's bookmarks tagged "verification" on Netvouz Spin - Formal Verification http://spinroot.com/spin/whatispin.html Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT