External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 174, Issue 3

    1 -- 2Ofer Strichman, Armin Biere. Preface
    3 -- 16Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded Model Checking with Parametric Data Structures
    17 -- 30Paul B. Jackson, Daniel Sheridan. A Compact Linear Translation for Bounded Model Checking
    31 -- 43João Marques-Silva. Interpolant Learning and Reuse in SAT-Based Model Checking
    45 -- 56Toni Jussila, Armin Biere. Compressing BMC Encodings with QBF
    57 -- 70Xuandong Li, Sumit Jha Aanand, Lei Bu. Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming
    runs on