Volume 7, Issue 2, April 2005

Special section on Bounded Model Checking

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

In this issue (9 articles)

  1. No Access

    Special section on Bounded Model Checking

    Introductory paper

    Armin Biere, Ofer Strichman Pages 87-88
  2. No Access

    Special section on Bounded Model Checking

    BMC via on-the-fly determinization

    Toni Jussila, Keijo Heljanko, Ilkka Niemelä Pages 89-101
  3. No Access

    Special section on Bounded Model Checking

    Symbolic computational techniques for solving games

    Rajeev Alur, P. Madhusudan, Wonhong Nam Pages 118-128
  4. No Access

    Special section on Bounded Model Checking

    Are BDDs still alive within sequential verification?

    Gianpiero Cabodi, Sergio Nocco, Stefano Quer Pages 129-142
  5. No Access

    Special section on Bounded Model Checking

    Computational challenges in bounded model checking

    Edmund Clarke, Daniel Kroening Pages 174-183