Share
New Paradigms in Computer Aided Verification
Tyler Keating
(Illustrated by)
·
States Academic Press
· Hardcover
New Paradigms in Computer Aided Verification - Keating, Tyler
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 05 and
Thursday, July 18.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "New Paradigms in Computer Aided Verification"
Computer aided verification process (CAV) comprises mathematically based strict approaches for the verification, specification and development of hardware and software systems. The goal of CAD is to make such systems more robust, correct and dependable. Mathematical theories, design phase and specification formalism are used to categorize verification methods. Methods for verification during the design phase comprise testing, specification and implementation. Markov chains, process algebras and timed automata are the processes done in specification formalism. Static analysis, model checking and theorem proving are part of the verification process in mathematical theories. SPIN, NuSMV, UPPAAL, CBMC, TLA+, dafny, and PRISM are some of the tools that can be utilized in CAV. This book elucidates the concepts and innovative models and prospective developments with respect to computer science and information technology. It will also provide interesting topics for research which interested readers can take up.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.