coq-vst

There are 1 repository under coq-vst topic.

PrincetonUniversity / VST
Verified Software Toolchain
c compcert coq coq-library coq-vst formal-methods formal-specification formal-verification proof proof-assistant verification
Language:Coq 421
appliedfm / docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
coq appliedfm continuous-integration dockerfile docker-coq coq-vst compcert c
Language:Shell 3
appliedfm / coq-vsu-int63
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
c coq verification formal-methods compcert formal-verification formal-specification coq-vst appliedfm
Language:Coq 2
appliedfm / coq-vsu
Tools for working with Verified Software Units
coq coq-vst c verification formal-methods compcert formal-verification formal-specification appliedfm
Language:OCaml 1