[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Karen Yorav
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4899)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: HVC 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  3. HVC Award

    1. Symbolic Execution and Model Checking for Testing

      • Corina S. Păsăreanu, Willem Visser
      Pages 17-18

  4. Hardware Verification

    1. On the Characterization of Until as a Fixed Point Under Clocked Semantics

      • Dana Fisman
      Pages 19-33

    2. Reactivity in SystemC Transaction-Level Models

      • Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
      Pages 34-50

  5. Model Checking

    1. Verifying Parametrised Hardware Designs Via Counter Automata

      • Ales Smrčka, Tomás Vojnar
      Pages 51-68

    2. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

      • David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan Zapreev
      Pages 69-85

  6. Dynamic Hardware Verification

    1. Constraint Patterns and Search Procedures for CP-Based Random Test Generation

      • Anna Moss
      Pages 86-103

    2. Using Virtual Coverage to Hit Hard-To-Reach Events

      • Laurent Fournier, Avi Ziv
      Pages 104-119

  7. Merging Formal and Testing

    1. Test Case Generation for Ultimately Periodic Paths

      • Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore Zuck
      Pages 120-135

    2. Dynamic Testing Via Automata Learning

      • Harald Raffelt, Bernhard Steffen, Tiziana Margaria
      Pages 136-152

  8. Formal Verification for Software

    1. On the Architecture of System Verification Environments

      • Mark A. Hillebrand, Wolfgang J. Paul
      Pages 153-168

    2. Exploiting Shared Structure in Software Verification Conditions

      • Domagoj Babić, Alan J. Hu
      Pages 169-184

    3. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code

      • Thomas Noll, Bastian Schlich
      Pages 185-201

    4. A Complete Bounded Model Checking Algorithm for Pushdown Systems

      • Gérard Basler, Daniel Kroening, Georg Weissenbacher
      Pages 202-217

  9. Software Testing

    1. Locating Regression Bugs

      • Dor Nir, Shmuel Tyszberowicz, Amiram Yehudai
      Pages 218-234

    2. The Advantages of Post-Link Code Coverage

      • Orna Raz, Moshe Klausner, Nitzan Peleg, Gad Haber, Eitan Farchi, Shachar Fienblit et al.
      Pages 235-251
Back to top

Other volumes

  1. Hardware and Software: Verification and Testing

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation