Deductive Software Verification - The KeY Book
Page Count736 Pages
About the e-Book
Deductive Software Verification - The KeY Book Pdf
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.
Download e-Book Pdf
Amazon ViewBuy It From Amazon
This site comply with DMCA digital copyright. We do not store files not owned by us, or without the permission of the owner. We also do not have links that lead to sites DMCA copyright infringement.
If You feel that this book is belong to you and you want to unpublish it, Please Contact us .
Super Graphic: A Visual Guide to the Comic Book Universe
Business Software Development: Principles and Practice