| 期刊全稱 | Automated Theorem Proving in Software Engineering | | 影響因子2023 | Johann M. Schumann | | 視頻video | http://file.papertrans.cn/167/166379/166379.mp4 | | 發(fā)行地址 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-10 02:15
發(fā)表于 2025-3-21 17:37:58
