Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification - Image 1

£87.61

Springer Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Name: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Brand: Springer
Price: 87.85 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 82 days • 82 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £88 (48 days, 58.5%)

Price range: £87 - £109

Price levels: 4 different prices over 82 days

Description

Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata. The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error. Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 079239285X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 31 December 1992
Listed Since: 15 December 2006

Barcode

No barcode data available

Springer Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)

Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)

SVA: The Power of Assertions in SystemVerilog

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Post-Silicon and Runtime Verification for Modern Processors

Principles of Functional Verification

Assertion-Based Design

The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Test Pattern Generation using Boolean Proof Engines

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

System Design Automation: Fundamentals, Principles, Methods, Examples

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13703)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

System Design Automation: Fundamentals, Principles, Methods, Examples

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings: 8153 (Lecture Notes in Computer Science, 8153)

System-on-a-Chip Verification: Methodology and Techniques

Computability and Logic

Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)