Search Results - RepositoryStats

234

2.0k

other

62

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,209 commits to master branch, last one a day ago

93

456

other

22

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,705 commits to master branch, last one about a month ago

6

66

other

9

A Lustre compiler in Coq

lustre compcert coq-formalization synchronous-language

Created 2019-10-21

2,156 commits to paul-thesis branch, last one 2 months ago