Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

Manuel Lerchner

View on Semantic Scholar

1 paper 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.

#small language model Open access Oct 2026

Voblint: A Verified Goblint-Style Static Analysis Pipeline in Isabelle/HOL

Voblint is a machine-checked Isabelle/HOL framework for building, running and verifying interprocedural abstract interpreters, modeled on Goblint's D/G architecture. It chains verified compilation of a small imperative language to a procedure-aware control-flow graph, an activation-local operational semantics, executab...

Manuel Lerchner · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.