Books > Computing & IT > General theory of computing
|
Buy Now
Efficient Decision Procedures for Validation (Paperback)
Loot Price: R1,296
Discovery Miles 12 960
|
|
Efficient Decision Procedures for Validation (Paperback)
Expected to ship within 10 - 15 working days
|
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
Validation approach, according to which the translation of the
compiler is validated after each run. The evidence from applying
translation validation to two compilers proves that this approach
has some strong advantages over the more traditional formal
verification of the compiler itself. The research includes several
new techniques for handling industrial-size programs, among them a
new decision procedure for equality logic. The second subject is
the development of various optimizations to SAT algorithms, which
exploit the unique structure of formulas originating from Bounded
Model Checking of invariance properties. The dissertation is
organized in the form of an edited collection of five published
articles, and an overview in the beginning.
General
Imprint: |
Lap Lambert Academic Publishing
|
Country of origin: |
Germany |
Release date: |
May 2010 |
First published: |
October 2009 |
Authors: |
Ofer Strichman
|
Dimensions: |
229 x 152 x 7mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
116 |
ISBN-13: |
978-3-8383-0082-5 |
Categories: |
Books >
Computing & IT >
General theory of computing >
General
|
LSN: |
3-8383-0082-3 |
Barcode: |
9783838300825 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.