Deductive Software Verification The KeY Book 1st Edition

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a ...

Posted by northpark · on 2018-09-18

Deductive.Software.Verification.The.KeY.Book.1st.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.
 


Edition: 1st Edition
ISBN: 978-3319498118
Posted on: 12/26/2016
Format: Pdf
Page Count: 736 Pages
Author: Wolfgang Ahrendt,:

链接: https://www.lanzous.com/i1wk1sh 文件大小:7.3 M