//]]>

Scalable Techniques for Formal Verification (Record no. 10179)

000 -LEADER
fixed length control field 02623nam a22003975i 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140310143332.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130531s2010 xxu| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781441959980
978-1-4419-5998-0
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Edition number 23
264 #1 -
-- Boston, MA :
-- Springer US :
-- Imprint: Springer,
-- 2010.
912 ## -
-- ZDB-2-ENG
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ray, Sandip.
Relator term author.
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Scalable Techniques for Formal Verification
Medium [electronic resource] /
Statement of responsibility, etc by Sandip Ray.
300 ## - PHYSICAL DESCRIPTION
Extent XIV, 240p.
Other physical details online resource.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification -- Sequential Programs -- Operational Semantics and Assertional Reasoning -- Connecting Different Proof Styles -- Verification of Reactive Systems -- Reactive Systems -- Verifying Concurrent Protocols Using Refinements -- Pipelined Machines -- Invariant Proving -- Invariant Proving -- Predicate Abstraction via Rewriting -- Formal Integration of Decision Procedures -- Integrating Deductive and Algorithmic Reasoning -- A Compositional Model Checking Procedure -- Connecting External Deduction Tools with ACL2 -- Conclusion -- Summary and Conclusion.
520 ## - SUMMARY, ETC.
Summary, etc This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering.
Topical term or geographic name as entry element Computer aided design.
Topical term or geographic name as entry element Systems engineering.
Topical term or geographic name as entry element Engineering.
Topical term or geographic name as entry element Circuits and Systems.
Topical term or geographic name as entry element Computer-Aided Engineering (CAD, CAE) and Design.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9781441959973
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-1-4419-5998-0
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type E-Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Damaged status Lost status Withdrawn status Current location Full call number
2014-03-27AUM Main Library2014-03-27 2014-03-27 E-Book   AUM Main Library621.3815

Languages: 
English |
العربية