Andere Kunden interessierten sich auch für
![Handbook of Computer Aided Verification]( "Handbook of Computer Aided Verification")
Handbook of Computer Aided Verification154,99 €![Fundamentals of Software Engineering]( "Fundamentals of Software Engineering")
Fundamentals of Software Engineering148,99 €![Verification and Analysis of Computer Systems]( "Verification and Analysis of Computer Systems")
Verification and Analysis of Computer Systems154,99 €![Computer Structures and Software: Analysis, Integration and Verification]( "Computer Structures and Software: Analysis, Integration and Verification")
Computer Structures and Software: Analysis, Integration and Verification154,99 €![Computer Engineering: Software and Hardware Systems]( "Computer Engineering: Software and Hardware Systems")
Computer Engineering: Software and Hardware Systems148,99 €![Computer Programs and Software Systems: Theories and Methods]( "Computer Programs and Software Systems: Theories and Methods")
Computer Programs and Software Systems: Theories and Methods144,99 €![Introduction to Scientific Programming]( "Introduction to Scientific Programming")
Introduction to Scientific Programming38,99 €
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.