Deductive Software Verification - The KeY Book - 15 Angebote vergleichen

Lieferung aus: Schweiz, Versandfertig innert 3 Wochen.
From Theory to Practice, Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies. Taschenbuch, 23.03.2017.

Lieferung aus: Deutschland, Lagernd.
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. Soft cover.

Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
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. eBook.

Lieferung aus: Deutschland, Versandkostenfrei.
Deductive Software Verification - The KeY Book: 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&nbsp 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. Englisch, Ebook.

Lieferung aus: Schweiz, zzgl. Versandkosten, Versandfertig innert 3 Wochen.
From Theory to Practice, Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.

Lieferung aus: Niederlande, Nog niet verschenen - reserveer een exemplaar.
bol.com.
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... 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). /p> /p> The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.Taal: Engels;Afmetingen: 37x235x155 mm;Gewicht: 1,11 kg;Verschijningsdatum: december 2016;Druk: 1;ISBN10: 3319498118;ISBN13: 9783319498119; Engelstalig | Paperback | 2016.

Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
Static analysis of software with deductive methods is a highly dynamic fieldof research on the verge of becoming a mainstream technology in softwareengineering. 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-artdeductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the fullpotential of deductive software verification in practice. It contains thecomplete theory behind KeY for active researchers who want to understand it indepth or use it in their own work. But the book also features fullyself-contained chapters on the Java Modeling Language and on Using KeY thatrequire nothing else than familiarity with Java. All other chapters areaccessible for graduate students (M.Sc. level and beyond).

Lieferung aus: Deutschland, Versandkostenfrei.
Deductive Software Verification - The KeY Book: Static analysis of software with deductive methods is a highly dynamic fieldof research on the verge of becoming a mainstream technology in softwareengineering. 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-artdeductive verification framework KeY.This book is the definitive guide to KeY that lets you explore the fullpotential of deductive software verification in practice. It contains thecomplete theory behind KeY for active researchers who want to understand it indepth or use it in their own work. But the book also features fullyself-contained chapters on the Java Modeling Language and on Using KeY thatrequire nothing else than familiarity with Java. All other chapters areaccessible for graduate students (M.Sc. level and beyond). Englisch, Ebook.