PostSharp Threading is a pragmatic way to write machine-verified, thread-safe code. Address multithreading at the right level of abstraction with threading models, deadlock detection, and declarative thread dispatching. Make your C# or VB applications thread-safe without rewriting them. Starting new threads and tasks in .NET languages is simple, but ensuring that objects are thread-safe is not. Choose the threading models that you want and have the built-in verification detect errors in your code before they cause random data races.