Netvouz / AllanBaasch / tag / sat http://www.netvouz.com/AllanBaasch/tag/sat?feed=rss AllanBaasch's bookmarks tagged "sat" on Netvouz Alloy Homepage http://alloy.mit.edu/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT CADP Home page http://www.inrialpes.fr/vasy/cadp/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT Concurrency http://wwwhomes.doc.ic.ac.uk/~jnm/book/ State Models & Java Programs Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT CSK HOLDINGS VDM http://www.csk.com/support_e/vdm/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT CSP as SAT http://www.cs.duke.edu/~mlittman/courses/cps271/lect-04/node8.html Miscellaneous > H - P > N > Np-csp AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT Formal methods http://en.wikipedia.org/wiki/Formal_methods Wikipedia, the free encyclopedia Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT Representational State Transfer http://en.wikipedia.org/wiki/Representational_State_Transfer#Principles Wikipedia, the free encyclopedia Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT Spin - Formal Verification http://spinroot.com/spin/whatispin.html Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT The Jaza Animator http://www.cs.waikato.ac.nz/~marku/jaza/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT Universit t Bremen http://www.google.com/u/unibremen?q=USE&domains=uni-bremen.de&sitesearch=uni-bremen.de Google Suche Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT