'Дизайн контракта' в C#

Я хотел попробовать немного дизайна контракта в моем последнем приложении C# и хотел иметь синтаксис, сродни:

public string Foo()
{
    set {
        Assert.IsNotNull(value);
        Assert.IsTrue(value.Contains("bar"));
        _foo = value;
    }
}

Я знаю, что могу получить статические методы как это от платформы модульного теста, но я хотел знать, было ли что-то вроде этого уже встроено на язык или если уже была некоторая платформа, плавающая вокруг. Я могу записать, что мои собственные Утверждают функции, просто не хотят изобретать велосипед.