001438687 000__ 03989cam\a2200673\i\4500
001438687 001__ 1438687
001438687 003__ OCoLC
001438687 005__ 20230309004348.0
001438687 006__ m\\\\\o\\d\\\\\\\\
001438687 007__ cr\un\nnnunnun
001438687 008__ 210804s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001438687 019__ $$a1263026170
001438687 020__ $$a9783030846299$$q(electronic bk.)
001438687 020__ $$a3030846296$$q(electronic bk.)
001438687 020__ $$z9783030846282
001438687 020__ $$z3030846288
001438687 0247_ $$a10.1007/978-3-030-84629-9$$2doi
001438687 035__ $$aSP(OCoLC)1262726700
001438687 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCO$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001438687 049__ $$aISEA
001438687 050_4 $$aQA76.76.V47$$bI58 2021
001438687 08204 $$a005.1/4$$223
001438687 1112_ $$aInternational SPIN Workshop$$n(27th :$$d2021 :$$cOnline)
001438687 24510 $$aModel checking software :$$b27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings /$$cAlfons Laarman, Ana Sokolova (eds.).
001438687 24630 $$aSPIN 2021
001438687 264_1 $$aCham :$$bSpringer,$$c[2021]
001438687 264_4 $$c©2021
001438687 300__ $$a1 online resource :$$billustrations (some color)
001438687 336__ $$atext$$btxt$$2rdacontent
001438687 337__ $$acomputer$$bc$$2rdamedia
001438687 338__ $$aonline resource$$bcr$$2rdacarrier
001438687 4901_ $$aLecture notes in computer science ;$$v12864
001438687 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001438687 500__ $$aInternational conference proceedings.
001438687 500__ $$aIncludes author index.
001438687 5050_ $$aInvited Talks -- The marriage between safety and cybersecurity: still practicing -- A Hands-on Introduction to Spatial Model Checking using VoxLogicA -- Model Checking -- Accelerating the Computation of Dead and Concurrent Places using Reductions -- Spotlight Abstraction in Model Checking Real-Time Task Schedulability -- Verifying Pipeline Implementations in OpenMP -- Tool Papers -- C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs -- PatEC: Pattern-based Equivalence Checking -- Go2Pins: a framework for the LTL verification of Go programs -- Probabilistic Model Checking of Randomized Java Code -- Case Studies -- A model-checked I2C specification.
001438687 506__ $$aAccess limited to authorized users.
001438687 520__ $$aThis book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
001438687 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 16, 2021).
001438687 63000 $$aSPIN (Computer file)$$vCongresses.
001438687 650_0 $$aComputer software$$xVerification$$vCongresses.
001438687 650_0 $$aSoftware engineering$$vCongresses.
001438687 650_0 $$aComputer software$$xTesting$$vCongresses.
001438687 650_6 $$aLogiciels$$xVérification$$vCongrès.
001438687 650_6 $$aGénie logiciel$$vCongrès.
001438687 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001438687 655_7 $$aConference papers and proceedings.$$2lcgft
001438687 655_7 $$aActes de congrès.$$2rvmgf
001438687 655_0 $$aElectronic books.
001438687 7001_ $$aLaarman, Alfons,$$eeditor.
001438687 7001_ $$aSokolova, Ana,$$eeditor.
001438687 830_0 $$aLecture notes in computer science ;$$v12864.
001438687 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001438687 852__ $$bebk
001438687 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-84629-9$$zOnline Access$$91397441.1
001438687 909CO $$ooai:library.usi.edu:1438687$$pGLOBAL_SET
001438687 980__ $$aBIB
001438687 980__ $$aEBOOK
001438687 982__ $$aEbook
001438687 983__ $$aOnline
001438687 994__ $$a92$$bISE