000946866 000__ 05697cam\a2200553\i\4500
000946866 001__ 946866
000946866 005__ 20230306152456.0
000946866 006__ m\\\\\o\\d\\\\\\\\
000946866 007__ cr\nn\nnnunnun
000946866 008__ 201028s2020\\\\sz\a\\\\ob\\\\101\0\eng\d
000946866 019__ $$a1204141681
000946866 020__ $$a9783030613624$$q(electronic resource)
000946866 020__ $$a3030613623$$q(electronic resource)
000946866 020__ $$z9783030613617$$q(print)
000946866 0247_ $$a10.1007/978-3-030-61362-4$$2doi
000946866 035__ $$aSP(OCoLC)on1225898384
000946866 035__ $$aSP(OCoLC)1225898384$$z(OCoLC)1204141681
000946866 040__ $$aDCT$$beng$$erda$$cDCT$$dOCLCO$$dEMU$$dOCLCO$$dOCLCF$$dGW5XE$$dEBLCP
000946866 049__ $$aISEA
000946866 050_4 $$aQA76.9.F67$$bI83 2020
000946866 08204 $$a005.1$$223
000946866 1112_ $$aISoLA (Symposium)$$n(9th :$$d2020 :$$cOnline)
000946866 24510 $$aLeveraging applications of formal methods, verification and validation :$$b9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.$$nPart I /$$cTiziana Margaria, Bernhard Steffen (eds.).
000946866 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2020]
000946866 300__ $$a1 online resource (xxiii, 582 pages) :$$b2427 illustrations (110 in color)
000946866 336__ $$atext$$btxt$$2rdacontent
000946866 337__ $$acomputer$$bc$$2rdamedia
000946866 338__ $$aonline resource$$bcr$$2rdacarrier
000946866 347__ $$atext file$$bPDF$$2rda
000946866 4901_ $$aLecture notes in computer science ;$$v12476
000946866 4901_ $$aLNCS sublibrary: SL1 - theoretical computer science and general issues
000946866 504__ $$aIncludes bibliographical references and author index.
000946866 5050_ $$aWho Carries the Burden of Modularity? -- On Testing Message-Passing Components -- Composing Communicating Systems, Synchronously -- Modular Verification of JML Contracts Using Bounded Model Checking -- On Slicing Software Product Line Signatures -- Assumption-Commitment Types for Resource Management in Virtually Timed Ambients -- Abstraction and Genericity in Why3 -- Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework -- An Interface Theory for Program Verification -- Scaling Correctness-by-Construction -- X-by-Construction: Correctness meets Probability -- Correctness by construction for probabilistic programs -- Components in Probabilistic Systems: Suitable by Construction -- Behavioral Specification Theories: an Algebraic Taxonomy -- Approximating Euclidean by Imprecise Markov Decision Processes -- Shield Synthesis for Reinforcement Learning -- Inferring Performance From Code: A Review -- 30 years of Statistical Model Checking -- Statistical Model Checking: Black or White? -- Probabilistic Mission Planning and Analysis for Multi-agent Systems -- 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment between Möbius and Uppaal SMC -- Fluid Model-Checking in UPPAAL for Covid-19 -- Improving Secure and Robust Patient Service Delivery -- Verification and Validation of Concurrent and Distributed Systems (Track Summary) -- Step-wise Development of Provably Correct Actor Systems -- Violation Witnesses and Result Validation for Multi-Threaded Programs -- Tendermint Blockchain Synchronization: Formal Specification and Model Checking -- Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project -- Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs -- Formal Verification of an Industrial Distributed Algorithm: an Experience Report -- Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation -- A Formal Model of the Kubernetes Container Framework.
000946866 506__ $$aAccess limited to authorized users.
000946866 520__ $$aThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. .
000946866 588__ $$aDescription based on resource, viewed January 5, 2021.
000946866 650_0 $$aFormal methods (Computer science)$$vCongresses.
000946866 650_0 $$aComputer software$$xVerification$$vCongresses.
000946866 650_0 $$aBlockchains (Databases)$$vCongresses.
000946866 655_7 $$aConference papers and proceedings.$$2lcgft
000946866 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000946866 7001_ $$aSteffen, Bernhard,$$eeditor.
000946866 77608 $$iPrint version:$$tLeveraging Applications of Formal Methods, Verification and Validation.$$nPart I: Verification Principles$$dCham : Springer International Publishing AG,c2020$$z9783030613624
000946866 830_0 $$aLecture notes in computer science ;$$v12476.
000946866 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000946866 852__ $$bebk
000946866 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-61362-4$$zOnline Access$$91397441.1
000946866 909CO $$ooai:library.usi.edu:946866$$pGLOBAL_SET
000946866 980__ $$aEBOOK
000946866 980__ $$aBIB
000946866 982__ $$aEbook
000946866 983__ $$aOnline
000946866 994__ $$a92$$bISE