skip to content
Deductive Software Verification -- The KeY Book : From Theory to Practice Preview this item
ClosePreview this item
Checking...

Deductive Software Verification -- The KeY Book : From Theory to Practice

Author: Wolfgang AhrendtBernhard BeckertRichard BubelReiner HähnleP H SchmittAll authors
Publisher: Cham : Springer, 2016
Series: Lecture notes in computer science, 10001; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Static 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; P H Schmitt; Mattias Ulbrich
ISBN: 9783319498126 3319498126 3319498118 9783319498119
OCLC Number: 968301788
Description: 1 online resource (XXXII, 702 pages) : illustrations
Contents: Foundations --
Specification and Verification --
From Verification to Analysis --
The KeY System in Action --
Case Studies
Series Title: Lecture notes in computer science, 10001; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Wolfgang Ahrendt [and others] (eds.).

Abstract:

All of them are realized in the state-of-artdeductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the fullpotential of deductive software verification in  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/968301788> # Deductive Software Verification -- The KeY Book : From Theory to Practice
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "968301788" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/4027265794#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:bookFormat schema:EBook ;
    schema:datePublished "2016" ;
    schema:description "Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies"@en ;
    schema:description "Static 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"@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/schmitt_p_h_peter_h_1948> ; # Peter H. Schmitt
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/hahnle_reiner> ; # Reiner Hähnle
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/ahrendt_wolfgang> ; # Wolfgang Ahrendt
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/beckert_bernhard> ; # Bernhard Beckert
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/bubel_richard> ; # Richard Bubel
    schema:editor <http://experiment.worldcat.org/entity/work/data/4027265794#Person/ulbrich_mattias> ; # Mattias Ulbrich
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4027265794> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4027265794#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4027265794#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4027265794#CreativeWork/> ;
    schema:name "Deductive Software Verification -- The KeY Book : From Theory to Practice"@en ;
    schema:productID "968301788" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-49812-6> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-49811-9> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-49812-6> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-49812-6> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-49811-9> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-49812-6> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-49812-6> ;
    schema:workExample <http://worldcat.org/isbn/9783319498119> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-49812-6> ;
    schema:workExample <http://worldcat.org/isbn/9783319498126> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/968301788> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/ahrendt_wolfgang> # Wolfgang Ahrendt
    a schema:Person ;
    schema:familyName "Ahrendt" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Ahrendt" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/beckert_bernhard> # Bernhard Beckert
    a schema:Person ;
    schema:familyName "Beckert" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Beckert" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/bubel_richard> # Richard Bubel
    a schema:Person ;
    schema:familyName "Bubel" ;
    schema:givenName "Richard" ;
    schema:name "Richard Bubel" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/hahnle_reiner> # Reiner Hähnle
    a schema:Person ;
    schema:familyName "Hähnle" ;
    schema:givenName "Reiner" ;
    schema:name "Reiner Hähnle" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/schmitt_p_h_peter_h_1948> # Peter H. Schmitt
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Schmitt" ;
    schema:givenName "Peter H." ;
    schema:givenName "P. H." ;
    schema:name "Peter H. Schmitt" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Person/ulbrich_mattias> # Mattias Ulbrich
    a schema:Person ;
    schema:familyName "Ulbrich" ;
    schema:givenName "Mattias" ;
    schema:name "Mattias Ulbrich" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/968301788> ; # Deductive Software Verification -- The KeY Book : From Theory to Practice
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/968301788> ; # Deductive Software Verification -- The KeY Book : From Theory to Practice
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4027265794#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://worldcat.org/entity/work/data/4027265794#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/968301788> ; # Deductive Software Verification -- The KeY Book : From Theory to Practice
    .

<http://worldcat.org/isbn/9783319498119>
    a schema:ProductModel ;
    schema:isbn "3319498118" ;
    schema:isbn "9783319498119" ;
    .

<http://worldcat.org/isbn/9783319498126>
    a schema:ProductModel ;
    schema:isbn "3319498126" ;
    schema:isbn "9783319498126" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/968301788> ; # Deductive Software Verification -- The KeY Book : From Theory to Practice
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.