Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.
https://anaconda.org/conda-forge/boogie/badges/version.svg
https://anaconda.org/conda-forge/boogie/badges/latest_release_date.svg
https://anaconda.org/conda-forge/boogie/badges/latest_release_relative_date.svg
https://anaconda.org/conda-forge/boogie/badges/platforms.svg
https://anaconda.org/conda-forge/boogie/badges/license.svg
https://anaconda.org/conda-forge/boogie/badges/downloads.svg