Synchronous Equivalence: Formal Methods for Embedded Systems

by Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincenglishtelli, et al.

Book Overview

An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the...

• Format: Paperback
• Language: English
• ISBN: 1461356644
• ISBN13: 9781461356646
• Release Date: November 2012
• Publisher: Springer
• Length: 136 Pages
• Weight: 0.49 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"