A
Menu
January 01, 2022 conference-paper Aachen paper

Configurable Benchmarks for C Model Checkers

Lecture notes in computer science, pp. 338–354

DOI: 10.1007/978-3-031-06773-0_18 OpenAlex

Authors 3

  1. Xaver Fink Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Philipp K. Berger corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 4 stored of 4

4 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 22