12 packages returned for Tags:"safety"
- 2,900 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
- 127 total downloads
- last updated 4/3/2019
- Latest version: 1.0.0-beta02
Recommended Google client library to access the Google Cloud Web Risk API, which lets client applications check URLs against Google's constantly updated lists of unsafe web resources.