Computer Aided Verification: Techniques and Applications

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
Publisher: Clanrye International
Published: 09/26/2023
Pages: 247
Binding Type: Hardcover
Weight: 1.43lbs
Size: 10.00h x 7.00w x 0.63d
ISBN13: 9781647265861
ISBN10: 164726586X
BISAC Categories:
- Computers | Software Development & Engineering | Systems Analysis & Desi
- Computers | Computer Science