Search Results - RepositoryStats

231

1.9k

other

63

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,178 commits to master branch, last one 7 days ago

93

445

other

23

Verified Software Toolchain

c coq proof coq-vst compcert coq-library verification formal-methods proof-assistant formal-verification formal-specification

Created 2014-11-21

7,698 commits to master branch, last one 24 days ago

6

63

other

10

A Lustre compiler in Coq

lustre compcert coq-formalization synchronous-language

Created 2019-10-21

1,572 commits to emsoft23-artifact branch, last one about a year ago