Handbook of Computer Aided Verification
Handbook of Computer Aided Verification by Jordan Dean is a comprehensive resource published by Willford Press on September 19, 2023. This edition, written in English and spanning 254 pages, explores the practice and theory of computer-assisted formal analysis of software and hardware systems, aiming to enhance their dependability and safety. The book delves into the foundational concepts derived from logic, automata theory, and graph theory, integrating both theoretical and experimental aspects of computer aided verification.
Readers will find a thorough examination of contemporary topics in the field, including model checking, automated theorem proving, and testing. The text discusses various system models, such as finite-state and infinite-state systems, probabilistic systems, and hybrid systems. By elucidating innovative models and prospective developments, this book serves as a valuable reference for graduate and postgraduate students interested in the intersection of computers and technology, particularly in programming and software design.
Official synopsis Publisher
Computer aided verification (CAV) refers to the practice and theory of computer-assisted formal analysis of software and hardware systems. The purpose of formal verification is to increase the dependability and safety of software and hardware systems. CAV derives concepts and findings from logic, automata theory and graph theory, and combines theoretical and experimental aspects. Research in this field encompasses model checking, automated theorem proving, synthesis and testing. It includes numerous system models such as finite-state and infinite-state systems, probabilistic systems and hybrid systems. This book elucidates the concepts and innovative models around prospective developments with respect to computer aided verification. From theories to research to practical applications, studies related to all contemporary topics of relevance to this area of computer science have been included herein. The book will serve as a valuable source of reference for graduate and postgraduate students.
Publisher
Topics
FAQ
What is “Handbook of Computer Aided Verification” about?
Who is the author of “Handbook of Computer Aided Verification”?
When was “Handbook of Computer Aided Verification” published?
What is the ISBN for “Handbook of Computer Aided Verification”?
What are the book details (language, pages, edition)?
