Verified Software Toolchain
c
coq
proof
verification
proof-assistant
formal-methods
compcert
formal-verification
coq-library
formal-specification
coq-vst
-
Updated
May 22, 2024 - Coq
Verified Software Toolchain
Docker images of the Coq proof assistant with compcert and VST pre-installed
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
Tools for working with Verified Software Units
Add a description, image, and links to the coq-vst topic page so that developers can more easily learn about it.
To associate your repository with the coq-vst topic, visit your repo's landing page and select "manage topics."