Email Gateway (Aug 18 2022 at 13:55): Email Gateway (Aug 18 2022 at 13:55):From: Thomas Santen <Thomas.Santen@microsoft.com>
Dear all,
We are happy to announce that VCC, Microsoft's verification tool for concurrent, system-level C, is now publicly available for non-commercial use.
You get the latest binary and sources from
If you wish to learn more:
Wolfram Schulte will present VCC at TPHOLs in Munich.
Enjoy,
Thomas
Dr. Thomas Santen
European Microsoft Innovation Center
E-Mail: Thomas.Santen@microsoft.com<mailto:Thomas.Santen@microsoft.com>
Work Phone: +49-241-99784 620
Work Fax: +49-241-99784 77
Mobile: +49-175-5844036
Europaeisches Microsoft Innovations Center GmbH Ritterstrasse 23, 52072 Aachen, Germany
Geschäftsführer: Keith Dolliver, Benjamin O. Orndorff Amtsgericht Aachen, HRB 12066
Last updated: May 03 2024 at 08:18 UTC