Computer Aided Verification: Techniques and Applications (Hardcover) (ISBN-13: 9781647265861)

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.

Author: Jordan Dean
ISBN-10: 164726586X
ISBN-13: 9781647265861
Publisher: Clanrye International
Language: English
Published: 09/26/2023
Pages: 247
Format: Hardcover
Weight: 1.43lbs
Size: 10.00h x 7.00w x 0.63d