What (if anything) does "VCC" stand for

Jan 20, 2012 at 5: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

Coordinator
Jan 22, 2012 at 3:46 PM

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

Stephan

Developer
May 1, 2012 at 6:28 PM

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