Giters

microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Home Page:http://research.microsoft.com/en-us/projects/ironclad/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

To learn more about the Ironclad Apps project, please see the related README file.

To learn more about the IronFleet project, please see the related README file.

About

The MSR Ironclad project builds provably secure and reliable systems.

http://research.microsoft.com/en-us/projects/ironclad/

License:Other

Languages

Language:Dafny 60.5%Language:C# 28.8%Language:C++ 4.1%Language:F# 2.3%Language:Assembly 1.4%Language:Python 0.9%Language:Boogie 0.8%Language:C 0.7%Language:PowerShell 0.3%Language:Makefile 0.1%Language:Batchfile 0.1%Language:SMT 0.1%Language:Vim Script 0.0%Language:Shell 0.0%