A model-based testing framework for .NET that validates implementations against behavioral specifications. - View it on GitHub