1. Editorial

   • Franco Fummi
   • Ian G. Harris

   OriginalPaper Pages: 583 - 584

2. Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

   • Mirko Loghi
   • Tiziana Margaria
   • Bernhard Steffen

   OriginalPaper Pages: 585 - 611

3. A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking

   • Jean-Pierre Talpin
   • Paul Le Guernic
   • Rajesh Gupta

   OriginalPaper Pages: 613 - 643

4. Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

   • Alfred Koelbl
   • Carl Pixley

   OriginalPaper Pages: 645 - 666

5. A Framework for the Functional Verification of SystemC Models

   • Francesco Bruschi
   • Fabrizio Ferrandi
   • Donatella Sciuto

   OriginalPaper Pages: 667 - 695

6. Verification of Embedded Systems Based on Interval Analysis

   • Iñigo Ugarte
   • Pablo Sanchez

   OriginalPaper Pages: 697 - 720