000772512 000__ 03402cam\a2200601Mc\4500
000772512 001__ 772512
000772512 005__ 20230306142542.0
000772512 006__ m\\\\\o\\d\\\\\\\\
000772512 007__ cr\un\nnnunnun
000772512 008__ 170113s2016\\\\sz\a\\\\o\\\\\000\0\eng\d
000772512 019__ $$a971056996
000772512 020__ $$a9783319498126$$q(electronic book)
000772512 020__ $$a3319498126$$q(electronic book)
000772512 020__ $$z9783319498119
000772512 0247_ $$a10.1007/978-3-319-49812-6$$2doi
000772512 035__ $$aSP(OCoLC)ocn968301788
000772512 035__ $$aSP(OCoLC)968301788$$z(OCoLC)971056996
000772512 040__ $$aDKDLA$$beng$$epn$$cDKDLA$$dOCLCO$$dGW5XE$$dYDX$$dUPM$$dOCLCF$$dUAB$$dCOO$$dOCLCQ$$dOCLCO
000772512 049__ $$aISEA
000772512 050_4 $$aQA76.76.V47
000772512 08204 $$a005.1$$223
000772512 24500 $$aDeductive Software Verification -- The KeY Book :$$bFrom Theory to Practice /$$cWolfgang Ahrendt [and others] (eds.).
000772512 264_1 $$aCham :$$bSpringer,$$c2016
000772512 300__ $$a1 online resource (xxxii, 702 pages) :$$billustrations
000772512 336__ $$atext$$btxt$$2rdacontent
000772512 337__ $$acomputer$$bc$$2rdamedia
000772512 338__ $$aonline resource$$bcr$$2rdacarrier
000772512 347__ $$atext file$$bPDF$$2rda
000772512 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v10001
000772512 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000772512 5050_ $$aFoundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies
000772512 506__ $$aAccess limited to authorized users.
000772512 5208_ $$aStatic analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M. Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book
000772512 650_0 $$aComputer software$$xVerification.
000772512 650_0 $$aComputer science.
000772512 650_0 $$aSoftware engineering.
000772512 650_0 $$aProgramming languages (Electronic computers)
000772512 650_0 $$aComputer logic.
000772512 650_0 $$aLogic, Symbolic and mathematical.
000772512 650_0 $$aArtificial intelligence.
000772512 7001_ $$aAhrendt, Wolfgang,$$eeditor
000772512 7001_ $$aBeckert, Bernhard,$$eeditor
000772512 7001_ $$aBubel, Richard,$$eeditor
000772512 7001_ $$aHähnle, Reiner,$$eeditor
000772512 7001_ $$aSchmitt, Peter H.,$$eeditor
000772512 7001_ $$aUlbrich, Mattias,$$eeditor
000772512 77608 $$iPrint version:$$z9783319498119
000772512 830_0 $$aLecture notes in computer science ;$$v10001.
000772512 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000772512 852__ $$bebk
000772512 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-49812-6$$zOnline Access$$91397441.1
000772512 909CO $$ooai:library.usi.edu:772512$$pGLOBAL_SET
000772512 980__ $$aEBOOK
000772512 980__ $$aBIB
000772512 982__ $$aEbook
000772512 983__ $$aOnline
000772512 994__ $$a92$$bISE