This project is read-only.

What (if anything) does "VCC" stand for

Jan 20, 2012 at 6:29 PM

From the metadata of page I see that "VCC stands for Verifying C Compiler". However it is usually described as a Verifier for Concurrent C.  Is "VCC" an acronym or just a name?




Jan 22, 2012 at 4:46 PM

I think the current interpretation is Verifyer (or Verification System) for Concurrent C.


May 1, 2012 at 7:28 PM

Actually, I think we settled on "Verified Concurrent C"