Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:19984323 > Deductive Software ...

Deductive Software Verification – The KeY Book From Theory to Practice /edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.

  • E-bokEngelska2016

Förlag, utgivningsår, omfång ...

  • Publicerad:Cham :Publicerad:Springer International Publishing :Publicerad:Imprint: Springer,Publicerad:2016
  • XXXII, 702 p. 110 illus.online resource.
  • texttxtrdacontent
  • computercrdamedia
  • online resourcecrrdacarrier
  • text filePDF

Nummerbeteckningar

  • LIBRIS-ID:19984323
  • ISBN:9783319498126
  • Ogiltigt nummer / annan version:9783319498119 (Print)
  • 10.1007/978-3-319-49812-6doi

Kompletterande språkuppgifter

  • Språk:engelska

Klassifikation

Serie

  • Lecture Notes in Computer Science,0302-9743 ;10001

Anmärkningar

  • Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies.
  • 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.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Ahrendt, Wolfgang. (redaktör/utgivare)
  • Beckert, Bernhard. (redaktör/utgivare)
  • Bubel, Richard. (redaktör/utgivare)
  • Hähnle, Reiner. (redaktör/utgivare)
  • Schmitt, Peter H. (redaktör/utgivare)
  • Ulbrich, Mattias. (redaktör/utgivare)
  • SpringerLink (Online service)

Sammanhörande titlar

  • Annan version:Printed edition:Deductive Software Verification – The KeY Book9783319498119

Seriebiuppslag

  • Lecture Notes in Computer Science,0302-9743 ;10001

Internetlänk

Inställningar Hjälp

Titeln finns på 16 bibliotek. 

Bibliotek i norra Sverige (3)

Ange som favorit

Bibliotek i Mellansverige (3)

Ange som favorit

Bibliotek i Stockholmsregionen (3)

Ange som favorit

Bibliotek i östra Sverige (2)

Ange som favorit

Bibliotek i västra Sverige (3)

Ange som favorit

Bibliotek i södra Sverige (2)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy