Libraries

Native parser library for turning VNN-LIB files or strings into type-checked ASTs, with traversal and query transformation support.

Parser Type-checker

Python package for parsing VNN-LIB specifications, traversing the AST, and converting queries for verification workflows.

Parser Type-checker

Julia interface for parsing VNN-LIB queries and inspecting the resulting AST through bindings to the underlying C++ library.

Parser Type-checker

OCaml parser hosted with the Frama-C project for OCaml-based tooling that needs to read VNN-LIB query files.

Parser

Formal library for VNN-LIB syntax, semantics, theories, parsing, type-checking, and solver-interface reasoning in Agda.

Parser Type-checker Semantics