Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification

Book Overview

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement...

• Format: Paperback
• Language: English
• ISBN: 1461365791
• ISBN13: 9781461365792
• Release Date: October 2012
• Publisher: Springer
• Length: 142 Pages
• Weight: 0.49 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"