| 期刊全称 | Automated Theorem Proving in Software Engineering | | 影响因子2023 | Johann M. Schumann | | 视频video | | | 发行地址 | Demonstrates the potential of automated theorem proving for applications in software engineering.Performance and importance illustrated by detailed case studies.Self-contained and with an extensive bi | | 图书封面 |  | | 影响因子 | This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book‘s bibliogra phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap peared i | | Pindex | Book 2001 |
The information of publication is updating
|
|
发表于 2025-3-21 17:37:58
