↓ Skip to main content
What is this page? Embed badge

Hardware and Software: Verification and Testing

Overview of attention for book
Cover of 'Hardware and Software: Verification and Testing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 XSpeed: Accelerating Reachability Analysis on Multi-core Processors
  3. Altmetric Badge
    Chapter 2 Abstraction-Based Parameter Synthesis for Multiaffine Systems
  4. Altmetric Badge
    Chapter 3 Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed
  5. Altmetric Badge
    Chapter 4 The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process
  6. Altmetric Badge
    Chapter 5 Hardware and Software: Verification and Testing
  7. Altmetric Badge
    Chapter 6 PANDA: Simultaneous Predicate Abstraction and Concrete Execution
  8. Altmetric Badge
    Chapter 7 TSO to SC via Symbolic Execution
  9. Altmetric Badge
    Chapter 8 Parallel Symbolic Execution: Merging In-Flight Requests
  10. Altmetric Badge
    Chapter 9 Limited Mobility, Eventual Stability
  11. Altmetric Badge
    Chapter 10 A New Refinement Strategy for CEGAR-Based Industrial Model Checking
  12. Altmetric Badge
    Chapter 11 Quasi-equal Clock Reduction: Eliminating Assumptions on Networks
  13. Altmetric Badge
    Chapter 12 Resource-Parameterized Timing Analysis of Real-Time Systems
  14. Altmetric Badge
    Chapter 13 SAT-Based Explicit LTL Reasoning
  15. Altmetric Badge
    Chapter 14 Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
  16. Altmetric Badge
    Chapter 15 Multi-Domain Verification of Power, Clock and Reset Domains
  17. Altmetric Badge
    Chapter 16 FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
  18. Altmetric Badge
    Chapter 17 On Switching Aware Synthesis for Combinational Circuits
Attention for Chapter 12: Resource-Parameterized Timing Analysis of Real-Time Systems
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Resource-Parameterized Timing Analysis of Real-Time Systems
Chapter number 12
Book title
Hardware and Software: Verification and Testing
Published by
Springer, Cham, November 2015
DOI 10.1007/978-3-319-26287-1_12
Book ISBNs
978-3-31-926286-4, 978-3-31-926287-1
Authors

Jin Hyun Kim, Axel Legay, Kim G. Larsen, Marius Mikučionis, Brian Nielsen

View on publisher site

This page is provided by Altmetric.