Open Hub
Black Duck Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

.NET Code Contracts

Compare

  Analyzed about 8 hours ago

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve ... [More] testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. [Less]

1.93M lines of code

0 current contributors

about 7 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C#
Licenses: mit
Tags analysis attributes clr code_analysis code_contracts contracts dotnet microsoft program_analysis software_development software_documentation software_verification 1 more...