Modular Development of Certified Program Verifiers with a Proof Assistant

Source code

Off-site: this project at SourceForge