Search Results - RepositoryStats

229

1.9k

other

63

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,156 commits to master branch, last one 21 days ago

93

442

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,697 commits to master branch, last one 2 months ago

6

59

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