Home » Authors » Naïm Moussaoui Remil, Caterina Urban

Naïm Moussaoui Remil, Caterina Urban

Public reference bibliography and cataloged PDF materials authored or published by Naïm Moussaoui Remil, Caterina Urban.

Found 1 document(s) Page 1 of 1

ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)

Year: 2026 • Source: hal.science • Listed PDF

ReFuncTion is a static analyzer designed for proving conditional termination (resilience), and functional program properties expressed in Computation Tree Logic (CTL). The tool automatically infers piecewise-defined rank...