000856479 000__ 04370cam\a2200517Ii\4500
000856479 001__ 856479
000856479 005__ 20230306145138.0
000856479 006__ m\\\\\o\\d\\\\\\\\
000856479 007__ cr\un\nnnunnun
000856479 008__ 181116s2018\\\\sz\a\\\\ob\\\\101\0\eng\d
000856479 020__ $$a9783030034214$$q(electronic book)
000856479 020__ $$a3030034216$$q(electronic book)
000856479 020__ $$z9783030034207
000856479 035__ $$aSP(OCoLC)on1066115310
000856479 035__ $$aSP(OCoLC)1066115310
000856479 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCF$$dUKMGB
000856479 049__ $$aISEA
000856479 050_4 $$aQA76.9.F67
000856479 08204 $$a004.01/51$$223
000856479 1112_ $$aISoLA (Symposium)$$n(8th :$$d2018 :$$cLimassol, Cyprus)
000856479 24510 $$aLeveraging applications of formal methods, verification and validation :$$bverification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.$$nPart II /$$cTiziana Margaria, Bernhard Steffen (eds.).
000856479 2463_ $$aISoLA 2018
000856479 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000856479 300__ $$a1 online resource (xv, 588 pages) :$$billustrations
000856479 336__ $$atext$$btxt$$2rdacontent
000856479 337__ $$acomputer$$bc$$2rdamedia
000856479 338__ $$aonline resource$$bcr$$2rdacarrier
000856479 4901_ $$aLecture notes in computer science ;$$v11245
000856479 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000856479 500__ $$aInternational conference proceedings.
000856479 504__ $$aIncludes bibliographical references and author index.
000856479 5050_ $$aA Broader View on Verification: From Static to Runtime and Back (Track Summary).- Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.- Temporal Reasoning on Incomplete Paths.- Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.- Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.- Runtime Assertion Checking and Static Verification: Collaborative Partners.- A Language-Independent Program Verification Framework.- Programming Safe Robotics Systems: Challenges and Advances.- Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.- Evaluating Tools for Software Verification (Track Introduction).- Strategy Selection for Software Verification Based on Boolean Features: A Simple but Effective Approach.- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.- Runtime and Memory Evaluation of Data Race Detection Tools.- In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.- Deductive Verification of Unmodified Linux Kernel Library Functions.- Synthesizing Subtle Bugs with Known Witnesses.- Statistical Model Checking, The 2018 edition!.- Chasing Errors using Biasing Automata.- On the Sequential Massart Algorithm for Statistical Model Checking.- Quantitative risk assessment of safety-critical systems via guided simulation for rare events.- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.- Lightweight Statistical Model Checking in Nondeterministic Continuous Time.- Statistical Model-Checking of Incomplete Stochastic Systems.- Statistical Model Checking a Moving Block Railway Signalling Scenario with Uppaal SMC.- Mitigating Security Risks through Attack Strategies Exploration.- Statistical Model Checking of Processor Systems in Various Interrupt Scenarios.- RERS 2018: CTL, LTL, and Reachability.- Track Introduction -- Doctoral Symposium 2018.- Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.- Implementation of Privacy Calculus and its Type Checking in Maude.
000856479 506__ $$aAccess limited to authorized users.
000856479 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 16, 2018).
000856479 650_0 $$aFormal methods (Computer science)$$vCongresses.
000856479 650_0 $$aRobots$$xProgramming$$vCongresses.
000856479 650_0 $$aMachine learning$$vCongresses.
000856479 650_0 $$aComputer software$$xVerification$$vCongresses.
000856479 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000856479 7001_ $$aSteffen, Bernhard,$$eeditor.
000856479 830_0 $$aLecture notes in computer science ;$$v11245.
000856479 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000856479 852__ $$bebk
000856479 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-03421-4$$zOnline Access$$91397441.1
000856479 909CO $$ooai:library.usi.edu:856479$$pGLOBAL_SET
000856479 980__ $$aEBOOK
000856479 980__ $$aBIB
000856479 982__ $$aEbook
000856479 983__ $$aOnline
000856479 994__ $$a92$$bISE