Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcing Microsoft VCC


view this post on Zulip 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

http://vcc.codeplex.com

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: Nov 21 2024 at 12:39 UTC