LEADER 03175nam  22006615  450 
001 996465697303316
005 20230329172408.0
010   $a3-642-39176-1
024 7 $a10.1007/978-3-642-39176-7
035   $a(CKB)3280000000007678
035   $a(DE-He213)978-3-642-39176-7
035   $a(SSID)ssj0000904589
035   $a(PQKBManifestationID)11943837
035   $a(PQKBTitleCode)TC0000904589
035   $a(PQKBWorkID)10923532
035   $a(PQKB)10796282
035   $a(MiAaPQ)EBC3096880
035   $a(PPN)170493156
035   $a(EXLCZ)993280000000007678
100   $a20130531d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel Checking Software$b[electronic resource] $e20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /$fedited by Ezio Bartocci, C. R. Ramakrishnan
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 377 p. 143 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7976
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-39175-3 
320   $aIncludes bibliographical references and index.
327   $aExplicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general.
330   $aThis book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7976
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.3028/7
702   $aBartocci$b Ezio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRamakrishnan$b C. R$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465697303316
996   $aModel Checking Software$9771961
997   $aUNISA