T2: Temporal Property Verification

• KoAT: Automatic Complexity and Termination Analysis of Integer Programs

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• AProVE (KoAT + LoAT)

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  5

  citations
• Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  6

  citations
• Proving Termination of C Programs with Lists

  2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  2

  citations
• A calculus for modular loop acceleration and non-termination proofs

  2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

  8

  citations
• Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  16

  citations
• AProVE: Non-Termination Witnesses for C Programs

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  10

  citations

7 results