Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

By: Marco Bernardo (Editor), Alessandro Cimatti (Editor)

Write A Review

Paperback | 15 May 2006

At a Glance

Paperback
256 Pages

Dimensions(cm)
23.39 x 15.6 x 1.37

Paperback

$101.07

or 4 interest-free payments of $25.27 with

Aims to ship in 7 to 10 business days

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Communications Engineering & Telecommunications Computing & I.T.Computer Science Systems Analysis & Design Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages

Computer Architecture & Logic Design Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Hardware Network Hardware

Hardware design and simulation for verification	p. 1
Automatic test pattern generation	p. 30
An introduction to symbolic trajectory evaluation	p. 56
BDD-based hardware verification	p. 78
SAT-based verification methods and applications in hardware verification	p. 108
Building efficient decision procedures on top of SAT solvers	p. 144
Refinement and theorem proving	p. 176
Floating-point verification using theorem proving	p. 211
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Python All-in-One For Dummies

3rd Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The C Programming Language

Prentice Hall Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Coding All-in-One For Dummies

2nd Edition

Exploiting Modern C++

C++ In-Depth Series

C++ How to Program, Global Edition

11th Edition

SQL Tuning

O'Reilly Ser.

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

Learn Python 3 the Hard Way

A Very Simple Introduction to the Terrifyingly Beautiful World of Computers and Code

High Performance Python

Practical Performant Programming for Humans

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Introducing Python

Modern Computing in Simple Packages

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Intro to Python for Computer Science and Data Science

Learning to Program with AI, Big Data and The Cloud, Global Edition

Introduction to Java Programming and Data Structures, Comprehensive Version [Global Edition]

12th Edition

Advancing into Analytics

From Excel to Python and R

Java How to Program, Early Objects

11th Global Edition

Problem Solving with C++, Global Edition

10th Edition

This product is categorised by