Volume 6, Issue 2, August 2004

Special section on tools and algorithms for the construction and analysis of systems

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (7 articles)

  1. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    Guest editors’ introduction: Advancements and extensions of verification techniques

    Joost-Pieter Katoen, Perdita Stevens Pages 99-101
  2. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    Fate and free will in error traces

    HoonSang Jin, Kavita Ravi, Fabio Somenzi Pages 102-116
  3. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    Exploring very large state spaces using genetic algorithms

    Patrice Godefroid, Sarfraz Khurshid Pages 117-127
  4. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    Probabilistic symbolic model checking with PRISM: a hybrid approach

    Marta Kwiatkowska, Gethin Norman Pages 128-142
  5. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    CLPS–B – A constraint solver to animate a B specification

    Fabrice Bouquet, Bruno Legeard Pages 143-157
  6. No Access

    Special section on tools and algorithms for the construction and analysis of systems

    Efficient monitoring of safety properties

    Klaus Havelund, Grigore Roşu Pages 158-173