15 packages returned for Tags:"safety"
- 3,452 total downloads
- last updated 3/23/2018
- Latest version: 2.0.0
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
- 1,579 total downloads
- last updated 3/15/2020
- Latest version: 0.2.1.9-alpha
DotNetVault is a library and static code analysis tool that makes managing shared mutable state in multi-threaded applications more manageable and less error prone. It also provides a common abstraction over several commonly used synchronization mechanisms, allowing you to change from one... More information
- 166 total downloads
- last updated 7/21/2019
- Latest version: 1.0.24-preview1
This library exposes foundational, general-purpose features, including: concurrency control abstractions, configurable types, fluent argument validation and object lifetime management.