Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) 1st ed. 2016 Edition

Deductive Software Verification – The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) 1st ed. 2016 Edition

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.