000733854 000__ 03119cam\a2200553Ii\4500
000733854 001__ 733854
000733854 005__ 20230306141108.0
000733854 006__ m\\\\\o\\d\\\\\\\\
000733854 007__ cr\cn\nnnunnun
000733854 008__ 150903s2015\\\\sz\a\\\\ob\\\\101\0\eng\d
000733854 019__ $$a919684397
000733854 020__ $$a9783319234045$$qelectronic book
000733854 020__ $$a3319234048$$qelectronic book
000733854 020__ $$z9783319234038
000733854 0247_ $$a10.1007/978-3-319-23404-5$$2doi
000733854 035__ $$aSP(OCoLC)ocn919743634
000733854 035__ $$aSP(OCoLC)919743634$$z(OCoLC)919684397
000733854 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dSNK$$dUPM$$dOCLCF$$dOCLCO$$dOCLCQ$$dAZU
000733854 049__ $$aISEA
000733854 050_4 $$aQA76.76.V47
000733854 08204 $$a005.1/4$$223
000733854 1112_ $$aInternational SPIN Workshop$$n(22nd :$$d2015 :$$cStellenbosch, South Africa)
000733854 24510 $$aModel checking software$$h[electronic resource] :$$b22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /$$cBernd Fischer, Jaco Geldenhuys (eds.).
000733854 2463_ $$aSPIN 2015
000733854 264_1 $$aCham :$$bSpringer,$$c2015.
000733854 300__ $$a1 online resource (xviii, 319 pages) :$$billustrations.
000733854 336__ $$atext$$btxt$$2rdacontent
000733854 337__ $$acomputer$$bc$$2rdamedia
000733854 338__ $$aonline resource$$bcr$$2rdacarrier
000733854 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9232
000733854 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000733854 500__ $$aInternational conference proceedings.
000733854 504__ $$aIncludes bibliographical references and author index.
000733854 5050_ $$aAbstraction, refinement, translation -- Büchi automata and hashing -- Embedded systems -- Heuristics and benchmarks -- SAT/SMT- based approaches -- Software validation and verification.
000733854 506__ $$aAccess limited to authorized users.
000733854 520__ $$aThis book constitutes the refereed proceedings of the 21st 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.
000733854 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
000733854 63000 $$aSPIN (Computer file)$$vCongresses.
000733854 650_0 $$aComputer software$$xVerification$$vCongresses.
000733854 650_0 $$aSoftware engineering$$vCongresses.
000733854 650_0 $$aComputer software$$xTesting$$vCongresses.
000733854 7001_ $$aFischer, Bernd,$$eeditor.
000733854 7001_ $$aGeldenhuys, Jaco,$$eeditor.
000733854 830_0 $$aLecture notes in computer science ;$$v9232.
000733854 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000733854 852__ $$bebk
000733854 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-23404-5$$zOnline Access$$91397441.1
000733854 909CO $$ooai:library.usi.edu:733854$$pGLOBAL_SET
000733854 980__ $$aEBOOK
000733854 980__ $$aBIB
000733854 982__ $$aEbook
000733854 983__ $$aOnline
000733854 994__ $$a92$$bISE