Efficient Decision Procedures for Validation

by Ofer Strichman

This dissertation focuses on two subjects in formal verification. The first subject is the development of methods and tools for the formal verification of compilers. We offer the Translation... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838300823
• ISBN13: 9783838300825
• Release Date: May 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 116 Pages
• Weight: 0.40 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"