2 citations · 5 across the 12 of their papers we have counts for
3 papers · 1 filter
Developing a Numerical Algorithm with CIVL Model Checking in the Loop
Youngjun Lee, Anshu Dubey, Jan Hückelheim
Verifying a numerical algorithm in a large scientific simulation framework is challenging: the framework is too big to model-check, and the unit tests exercise only sampled inputs.…
Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation
Hansol Suh, Jan Hückelheim, Stephen Siegel
Parallel numerical libraries such as PETSc are widely used in science and engineering applications where wrong results can have costly consequences. Despite this, numerical librari…
An Evaluation of Vertex Elimination Strategies for Algorithmic Differentiation
Alex Crane, Pål Grønås Drange, Eli Friedman +6
The algorithmic differentiation (AD) of mathematical functions can be interpreted as a sequence of vertex eliminations in an underlying directed acyclic graph. The problem of deter…