001467829 000__ 04137cam\\22006737i\4500
001467829 001__ 1467829
001467829 003__ OCoLC
001467829 005__ 20230707003341.0
001467829 006__ m\\\\\o\\d\\\\\\\\
001467829 007__ cr\un\nnnunnun
001467829 008__ 230510s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001467829 019__ $$a1378187734$$a1378393217
001467829 020__ $$a9783031321573$$q(electronic bk.)
001467829 020__ $$a303132157X$$q(electronic bk.)
001467829 020__ $$z9783031321566$$q(print)
001467829 020__ $$z3031321561
001467829 0247_ $$a10.1007/978-3-031-32157-3$$2doi
001467829 035__ $$aSP(OCoLC)1378743415
001467829 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001467829 049__ $$aISEA
001467829 050_4 $$aQA76.76.V47$$bI58 2023eb
001467829 08204 $$a005.1/4$$223/eng/20230510
001467829 1112_ $$aInternational SPIN Workshop$$n(29th :$$d2023 :$$cParis, France)
001467829 24510 $$aModel checking software :$$b29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings /$$cGeorgiana Caltais, Christian Schilling, editors.
001467829 2463_ $$aSPIN 2023
001467829 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001467829 300__ $$a1 online resource (x, 199 pages) :$$billustrations (some color).
001467829 336__ $$atext$$btxt$$2rdacontent
001467829 337__ $$acomputer$$bc$$2rdamedia
001467829 338__ $$aonline resource$$bcr$$2rdacarrier
001467829 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13872
001467829 500__ $$aIncludes author index.
001467829 5050_ $$aBinary Decision Diagrams -- Efficient Implementation of LIMDDs for Quantum Circuit Simulation -- ParaGnosis: A Tool for Parallel Knowledge Compilation -- Concurrency -- Model Checking Futexes -- Sound Concurrent Traces for Online Monitoring -- Testing -- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks -- Accelerating black box testing with light-weight learning -- Synthesis -- WikiCoder: Learning to Write Knowledge-Powered Code -- Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties -- Explicit-state Model Checking -- Elimination of Detached Regions in Dependency Graph Verification -- Potency-Based Heuristic Search with Randomness for Explicit Model Checking -- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
001467829 506__ $$aAccess limited to authorized users.
001467829 520__ $$aThis book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
001467829 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 10, 2023).
001467829 63000 $$aSPIN (Computer file)$$vCongresses.
001467829 650_0 $$aComputer software$$xVerification$$vCongresses.
001467829 650_0 $$aSoftware engineering$$vCongresses.
001467829 650_0 $$aComputer software$$xTesting$$vCongresses.
001467829 655_0 $$aElectronic books.
001467829 7001_ $$aCaltais, Georgiana,$$eeditor.$$0(orcid)0000-0002-8653-2299$$1https://orcid.org/0000-0002-8653-2299
001467829 7001_ $$aSchilling, Christian,$$eeditor.$$0(orcid)0000-0003-3658-1065$$1https://orcid.org/0000-0003-3658-1065
001467829 77608 $$iPrint version: $$z3031321561$$z9783031321566$$w(OCoLC)1374813316
001467829 830_0 $$aLecture notes in computer science ;$$v13872.$$x1611-3349
001467829 852__ $$bebk
001467829 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-32157-3$$zOnline Access$$91397441.1
001467829 909CO $$ooai:library.usi.edu:1467829$$pGLOBAL_SET
001467829 980__ $$aBIB
001467829 980__ $$aEBOOK
001467829 982__ $$aEbook
001467829 983__ $$aOnline
001467829 994__ $$a92$$bISE