Netvouz / AllanBaasch / folder / SAT (alloy) http://netvouz.com/AllanBaasch/folder/3520653344169404012/Miscellaneous+Q+-+Z+S+SAT+(alloy)?feed=rss AllanBaasch's bookmarks in folder SAT (alloy) 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 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 Validated Designs for Object-oriented Systems http://www.vdmbook.com/ Miscellaneous > Q - Z > S > SAT (alloy) AllanBaasch Sun, 17 Feb 2008 08:49:14 GMT