A
Menu
August 27, 2025 conference-paper Aachen paper

IC3 for Loop Invariant Generation in Deductive Analysis

Lecture notes in computer science, pp. 78–104

DOI: 10.1007/978-3-032-00942-5_5 OpenAlex

Authors 2

  1. Niklas van de Sand Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Embedded Software (Informatik 11), Aachen, Germany

  2. Marcus Völker corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Embedded Software (Informatik 11), Aachen, Germany

Cited by 0 stored of 0

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

References 25