【预订】Challenges of Software Verification 9789811996009
国外库房发货,通常付款后3-5周到货!
/ 2023-03-28
Product Details 基本信息 ISBN-13 书号 9789811996009 Author 作者 Vincenzo Arceri Format 版本 精装 Pages Number 页数 240页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-03-28 Language 语种 其它(含多语) Book Contents 内容简介 This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research co
¥1560