Google
 
Discovered Pages

 » Spin - Formal Verification http://spinroot.com/spin/whatispin.html
Discover From Related Topics
 computerscience  concurrency  concurrent  cs  logic  model  modelchecking  programming  protocol  research  tools  toresearch  validation  verification

Discover From This Topic & Page:  [] Spin - Formal Verification http://spinroot.com/spin/whatispin.html
 [] Spin - Formal Verification http://spinroot.com/spin/whatispin.html (validation toresearch verification programming)
 [] Basic Spin Manual http://spinroot.com/spin/Man/Manual.html (spin verification research logic)
 [] The SPIN MODEL CHECKER -- Primer and Reference Manual http://spinroot.com/spin/Doc/Book_extras/ (spin)
 [] Online Spin » Blog Archive » Web 2.0: Where’s The Business Model? http://blogs.mediapost.com/spin/?p=1020 (spin)
 [] SPIN 2008 http://compilers.cs.ucla.edu/spin08/ (modelchecking computerscience spin)
 [] Spin Online References http://spinroot.com/spin/Man/ (spin cs)
 [] Basic Spin Manual http://www.asahi-net.or.jp/~hs7m-kwgc/spin/Man/Manual_japanese.html (parallel tools spin programming)
 [] DT SPIN http://www.win.tue.nl/~dragan/DTSpin.html (spin cs)
 [] Model Checking Concurrent Programs http://cnx.rice.edu/content/col10294/latest/ (concurrent modelchecking spin logic)
 [] Dr. Dobb's | Spin Model Checking | 10 1, 1997 http://www.ddj.com/184410300;jsessionid=4GRBC1RYJDDCCQSNDLQSKHSCJUNN2JVN (concurrent modelchecking spin dobb's)
 [] Using SPIN http://plan9.bell-labs.com/sys/doc/spin.html (spin cs)
 [] SPIN operating system http://www-spin.cs.washington.edu/ (os spin)