Concise Guide to Software Verification: From Model Checking to Annotation CheckingКНИГИ » ПРОГРАММИНГ
Название: Concise Guide to Software Verification: From Model Checking to Annotation Checking Автор: Marieke Huisman, Anton Wijs Издательство: Springer Год: 2023 Страниц: 251 Язык: английский Формат: pdf (true), epub Размер: 46.1 MB
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process.
Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. This book gives an overview of a range of techniques, captured by this term formal methods, that are aimed at the analysis of software, and it describes how these techniques can be used to improve the reliability and robustness of software. Formal methods for the analysis of hardware are not in the scope of this book. When we refer to formal methods in this book, we implicitly rule out techniques aimed specifically at hardware analysis.
In this book, our aim is to give an overview of this whole spectrum of formal methods and techniques, and how they can be used in practice. We focus in particular on techniques where the user has some control over the properties that are being checked. We show how we have a wide range of techniques available that cover the whole spectrum from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button and give a yes/no answer, to techniques that require the user to provide explicit guidance to steer the analysis process.
Скачать Concise Guide to Software Verification: From Model Checking to Annotation Checking
Formal Methods for Control of Nonlinear Systems Название: Formal Methods for Control of Nonlinear Systems Автор: Yinan Li, Jun Liu Издательство: CRC Press Год: 2023 Страниц: 272 Язык: английский...
Formal Methods in Computer Science Название: Formal Methods in Computer Science Автор: Jiacun Wang, William Tepfenhart Издательство: CRC Press Год: 2020 Страниц: 313 Язык: английский...
Formal Verification of Control System Software Название: Formal Verification of Control System Software Автор: Pierre-Loic Garoche Издательство: Princeton University Press Год: 2019 Страниц: 231...
Handbook of Model Checking Название: Handbook of Model Checking Автор: Edmund M. Clarke Издательство: Springer Год: 2018 Страниц: 1210 Формат: PDF Размер: 14 Mb Язык: English ...
Навигация
Вход на сайт
Реклама
Concise Guide to Software Verification: From Model Checking to Annotation Checking 
