
Computer Aided Verification: Techniques and Applications
Jordan Dean(Editor)
Clanrye International (Publisher)
Published on 26. September 2023
Book
Hardback
247 pages
978-1-64726-586-1 (ISBN)
Description
Computer aided verification is a branch of computer science that focuses on creating tools and techniques to help programmers in verifying whether the software designed by them works correctly or not. These tools are being incorporated in the system design of firms. Computer aided verification strives to improve the quality of digital systems through the analysis of software designs using logical reasoning and software tools. The goal is to create a mathematical model of a system and then attempt to prove formal properties that either certifies the system's correctness or, at the very least aid in the detection of bugs. This book discusses the techniques and applications of computer aided verification. For all readers who are interested in computer aided verification, the studies included herein will serve as an excellent guide to develop a comprehensive understanding.
More details
Language
English
Place of publication
United States
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 254 mm
Width: 178 mm
Thickness: 16 mm
Weight
649 gr
ISBN-13
978-1-64726-586-1 (9781647265861)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification