Computer Aided Verification: Emerging Trends - Hardcover

 
9781639876938: Computer Aided Verification: Emerging Trends
Hardcover
ISBN 10: 1639876936 ISBN 13: 9781639876938
Verlag: Murphy & Moore Publishing, 2023

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Murphy & Moore Publishing
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
1639876936
ISBN 13 
9781639876938
Einband
Gebundene Ausgabe
Anzahl der Seiten
244
Herausgeber
Keating Tyler
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland