|
RefacCert is a project to explore the idea of a "proven correct" refactoring tool for C source code. It is based on CompCert C : http://compcert.inria.fr .
|
|
RefacCert is a project to explore the idea of a "proven correct" refactoring tool for C source code. It relies on CompCert C formalization in Coq : http://compcert.inria.fr .
|