001449018 000__ 03415cam\a2200589\a\4500
001449018 001__ 1449018
001449018 003__ OCoLC
001449018 005__ 20230310004338.0
001449018 006__ m\\\\\o\\d\\\\\\\\
001449018 007__ cr\un\nnnunnun
001449018 008__ 220827s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001449018 019__ $$a1342249286
001449018 020__ $$a9783031150777$$q(electronic bk.)
001449018 020__ $$a3031150775$$q(electronic bk.)
001449018 020__ $$z9783031150760
001449018 020__ $$z3031150767
001449018 0247_ $$a10.1007/978-3-031-15077-7$$2doi
001449018 035__ $$aSP(OCoLC)1342502458
001449018 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dOCLCF$$dOCLCQ
001449018 049__ $$aISEA
001449018 050_4 $$aQA76.76.V47$$bI58 2022eb
001449018 08204 $$a005.1/4$$223/eng/20220901
001449018 1112_ $$aInternational SPIN Workshop$$n(28th :$$d2022 :$$cOnline)
001449018 24510 $$aModel checking software :$$b28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings /$$cOwolabi Legunsen, Grigore Rosu (eds.).
001449018 2463_ $$aSPIN 2022
001449018 260__ $$aCham :$$bSpringer,$$c2022.
001449018 300__ $$a1 online resource (161 pages)
001449018 336__ $$atext$$btxt$$2rdacontent
001449018 337__ $$acomputer$$bc$$2rdamedia
001449018 338__ $$aonline resource$$bcr$$2rdacarrier
001449018 4901_ $$aLecture notes in computer science ;$$v13255
001449018 500__ $$aIncludes author index.
001449018 5050_ $$aAutomated Consistency Analysis for Legal Contracts -- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks -- Synthesis of Rigorous Floating-Point Predicates -- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals -- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks -- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench -- Bounded-Memory Runtime Enforcement -- Solving String Theories involving Regular Membership Predicates using SAT.
001449018 506__ $$aAccess limited to authorized users.
001449018 520__ $$aThis book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 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.
001449018 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 1, 2022).
001449018 63000 $$aSPIN (Computer file)$$vCongresses.
001449018 650_0 $$aComputer software$$xVerification$$vCongresses.
001449018 650_0 $$aSoftware engineering$$vCongresses.
001449018 650_0 $$aComputer software$$xTesting$$vCongresses.
001449018 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449018 655_0 $$aElectronic books.
001449018 7001_ $$aLegunsen, Owolabi.
001449018 7001_ $$aRoşu, Grigore.
001449018 77608 $$iPrint version:$$aLegunsen, Owolabi.$$tModel Checking Software.$$dCham : Springer International Publishing AG, ©2022$$z9783031150760
001449018 830_0 $$aLecture notes in computer science ;$$v13255.
001449018 852__ $$bebk
001449018 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15077-7$$zOnline Access$$91397441.1
001449018 909CO $$ooai:library.usi.edu:1449018$$pGLOBAL_SET
001449018 980__ $$aBIB
001449018 980__ $$aEBOOK
001449018 982__ $$aEbook
001449018 983__ $$aOnline
001449018 994__ $$a92$$bISE