This project is read-only.

What (if anything) does "VCC" stand for

Jan 20, 2012 at 6:29 PM

From the metadata of page http://research.microsoft.com/en-us/projects/vcc/ 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?

 

Cheers,

Theo

Jan 22, 2012 at 4:46 PM

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

Stephan

May 1, 2012 at 7:28 PM

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