Test.CSharp.ModelAnalyzer (nuget): Roslyn-based analysis of class models with informal contracts.
Keywords: formal-verification|analyzers