The Verification of MDG Algorithms in the HOL Theorem Prover - Image 1

£56.00

LAP Lambert Academic Publishing The Verification of MDG Algorithms in the HOL Theorem Prover

Name: The Verification of MDG Algorithms in the HOL Theorem Prover
Brand: LAP Lambert Academic Publishing
Price: 56.0 GBP
Availability: InStock

Hardware & DIY

Price data checked 3 days ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£56 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 88 days · 88 data points

Historical

Generating forecast…

Price Distribution

Price distribution over 88 days • 1 price levels

Days at Price

Price Analysis

Most common price: £56 (88 days, 100.0%)

Price range: £56 - £56

Price levels: 1 different prices over 88 days

Description

Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deductive reasoning (theorem proving). The combination of the two approaches promises to overcome the limitation and to enhance the capabilities of each. Our research is motivated by this goal. In this book, we provide the necessary infrastructure (data structure + algorithms) to define high level states exploration in the HOL theorem prover named as MDG-HOL platform. We have based our approach on Multiway Decision Graphs (MDGs). We formalize the basic MDG operations within HOL following a deep embedding approach. Then, we derive the correctness proof for each MDG basic operator. Based on this platform, the MDG reachability analysis is defined in HOL as a conversion that uses the MDG theory within HOL. Finally, we propose a reduction technique to improve MDGs MC based on MDG-HOL platform. The idea is to prune the transition relation of the circuits using pre-proved theorems from the specification given at system level. We use the consistency of the specifications to verify if the reduced model is faithful to the original one.

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838317386
Category: Books > Subjects > Computing & Internet > Hardware & DIY
Domain: Amazon UK
Release Date: 13 October 2009
Listed Since: 20 October 2009

Barcode

No barcode data available

LAP Lambert Academic Publishing The Verification of MDG Algorithms in the HOL Theorem Prover

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Selected Topics On Homological Algebra

Hodge Theory of Isolated Hypersurface Singularities

Ocherki istorii razvitiya teorii mekhanicheskikh kolebaniy

Digital Watermarking of Double Host Images

Computational Homological Algebra (Mathematical Engineering)

Heutagogy: In Medical Education

Learning and Innovation: in High Tech Small Firms

Algebraic Structures and Combinatorial Designs

Fenomen techeniya vremeni: Logiko-filosofskiy analiz

Using Algorithm & Program Visualization in Learning Data Structure

Data and Computer Communications

Experience of Women in Higher Education: Women and Higher Education: Nigerian Perspective

Tendencies of Digitalization of Company Management Processes

Images of Old Age and Critical Theory

Using Critical Theory Approaches to Teach Higher Level Thinking

PROJECT REVIEW SOLUTION-DIRECTED MODEL: USING SYSTEM DYNAMIC MODELLING

New Trends in Social Group Work

Modular Educational Program in Teaching English as a Foreign Language: Modular Education & EFL

RECENT ADVANCES IN OPG

Tools and Algorithms for the Construction and Analysis of Systems

Tekstovaya deyatel'nost' studentov v kontekste metodicheskoy masterskoy: formirovanie professional'nykh kompetentsiy uchitelya

MATHEMATICAL MODELING

Mathematical Problem Solving - 2nd Edition: Teachers' attitudes, knowledge, beliefs and practices

Newest Advances in Graph Theory and Computer Science