136 packages returned for Tags:"thread-safety"

S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on... More information
Provides strong-typed persistence of data in Thread local storage, which can also be transient and automatically removed on dispose. Usage: Thread.CurrentThread.SetData<Foo>(foo); var saved = Thread.CurrentThread.GetData<Foo>();