Computer Aided Verification : Emerging Trends

Tyler Keating

ISBN 10: 1639876936 / ISBN 13: 9781639876938

Published by Murphy & Moore Publishing, 2023

About this Item

nach der Bestellung gedruckt Neuware - Printed after ordering - Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.

Seller Inventory # 9781639876938

Bibliographic Details

• Title: Computer Aided Verification : Emerging Trends
• Publisher: Murphy & Moore Publishing
• Publication Date: 2023
• Language: English
• ISBN 10: 1639876936
• ISBN 13: 9781639876938
• Binding: Buch
• Condition: Neu
• Dimensions: 260W x 183H x 18D millimeters 260 millimeters width by 183 millimeters height by 18 millimeters depth
• Weight: 661 grams

About this title

Synopsis

Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.