00000cmm a22000004i 4500 UP-99796217611135139 Buklod 20140301110222.0 m go j cr |n |||auu|a 110707s2011 xx u | eng d 9783642223068 (eBook) 3642223060 (eBook) (iLib)UPD-00214604150 DLC DML eng DMLUC QA 76.76 V47 I58 2011eb International SPIN Workshop (18th 2011 Snowbird,Utah) Model checking software [electronic resource] 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings Alex Groce, Madanlal Musuvathi (eds.). Berlin Heidelberg Springer 2011. 1 online resource (x, 195 p.) Lecture Notes in Computer Science 0302-9743 6823 IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking. Computer software Verification Congresses. Electronic books. Groce, Alex. Musuvathi, Madanlal. SpringerLink (Online service). Lecture Notes in Computer Science 0302-9743 6823 Available for University of the Philippines Diliman via SpringerLink. Click here to access http://dx.doi.org/10.1007/978-3-642-22306-8 (viewed 17 September 2014) FO Monograph UPD DMLR Electronic Resource