Author

J. Hückelheim

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Developing a Numerical Algorithm with CIVL Model Checking in the Loop

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. We report a case study in which we developed a new cloud-in-cell (CIC) deposition algorithm for Flash-X, a large-scale multiphysics simulat...

Youngjun Lee, Anshu Dubey, J. Hückelheim · 0 citations

#natural language process... Preprint Sep 2026

Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation

This paper presents an approach to use LLMs in a limited setting to generate a small, human-certifiable ACSL contract from the function's documentation, combined with a deterministic toolchain that supports a restricted ACSL profile and generates a driver that uses the CIVL verifier to check the implementation against...

H. Suh, J. Hückelheim, Stephen F. Siegel · 0 citations