Deductive Software Verification - The Key Book: From Theory to Practice 2016 Edition Contributor(s): Ahrendt, Wolfgang (Editor), Beckert, Bernhard (Editor), Bubel, Richard (Editor) |
|
ISBN: 3319498118 ISBN-13: 9783319498119 Publisher: Springer OUR PRICE: $123.49 Product Type: Paperback Published: December 2016 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Compilers - Mathematics | Logic |
Dewey: 005.1 |
Physical Information: 1.47" H x 6.14" W x 9.21" (2.23 lbs) 702 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |