LEADER 03198nam  22006855  450 
001 9910484713603321
005 20230223004457.0
010   $a3-319-23404-8
024 7 $a10.1007/978-3-319-23404-5
035   $a(CKB)3890000000001384
035   $a(SSID)ssj0001558593
035   $a(PQKBManifestationID)16184056
035   $a(PQKBTitleCode)TC0001558593
035   $a(PQKBWorkID)14819228
035   $a(PQKB)10055949
035   $a(DE-He213)978-3-319-23404-5
035   $a(MiAaPQ)EBC6298496
035   $a(MiAaPQ)EBC5576948
035   $a(Au-PeEL)EBL5576948
035   $a(OCoLC)919743634
035   $a(PPN)188460888
035   $a(EXLCZ)993890000000001384
100   $a20150826d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aModel Checking Software $e22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /$fedited by Bernd Fischer, Jaco Geldenhuys
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XVIII, 319 p. 66 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9232
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-23403-X 
327   $aAbstraction, refinement, translation -- Büchi automata and hashing -- Embedded systems -- Heuristics and benchmarks -- SAT/SMT- based approaches -- Software validation and verification.
330   $aThis book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented ? 14 regular papers and 4 tool or new idea papers ? were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9232
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.14
702   $aFischer$b Bernd$c(Computer scientist)$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGeldenhuys$b Jaco$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484713603321
996   $aModel Checking Software$93359484
997   $aUNINA