Barnes & Noble Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings at Hamilton Place in Chattanooga, TN
This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation,testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.
This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation,testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
