PrincetonUniversity / VST Star 444 Code Issues Pull requests Verified Software Toolchain c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification coq-vst Updated Dec 9, 2024 Coq
appliedfm / docker-coq-vst Star 4 Code Issues Pull requests Docker images of the Coq proof assistant with compcert and VST pre-installed c dockerfile continuous-integration coq compcert docker-coq appliedfm coq-vst Updated Feb 15, 2022 Shell
appliedfm / coq-vsu-int63 Star 2 Code Issues Pull requests Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst Updated Mar 4, 2022 Coq
appliedfm / coq-vsu Star 1 Code Issues Pull requests Tools for working with Verified Software Units c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst Updated Jan 19, 2022 OCaml