Hardware and Software: Verification and Testing

1. Session 6: Abstraction

   1. Lazy Symbolic Execution through Abstraction and Sub-space Search

      • Guodong Li, Indradeep Ghosh

      Pages 295-310

   2. SPIN as a Linearizability Checker under Weak Memory Models

      • Oleg Travkin, Annika Mütze, Heike Wehrheim

      Pages 311-326

2. Session 7: Model Representation

   1. Arithmetic Bit-Level Verification Using Network Flow Model

      • Maciej Ciesielski, Walter Brown, André Rossi

      Pages 327-343

   2. Performance Evaluation of Process Partitioning Using Probabilistic Model Checking

      • Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf

      Pages 344-358

   3. Improving Representative Computation in ExpliSAT

      • Hana Chockler, Dmitry Pidan, Sitvanit Ruah

      Pages 359-364

3. Back Matter

   PDF

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

• Web-based software infrastructure
• automated testing
• formal verification
• model checking
• simulation

• Department of Electrical Engineering and Computer Science, CSE #4645 - ACAL Lab, University of Michigan, Ann Arbor, USA

  Valeria Bertacco

• Inventors for the Digital World, inria, Bat C, Burean C213, Rennes Cedex, France

  Axel Legay

Policies and ethics