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

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

Stephan

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