735 packages returned for Tags:"model-checking"

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
  • 9,206 total downloads
  • last updated 11/8/2016
  • Latest version: 4.2.0.33245
  • deployments checking
This is a library of tools for checking that your sites have restarted after a deployment.
  • 2,008 total downloads
  • last updated 12/22/2015
  • Latest version: 0.0.2.21030
  • deployments checking
This is a library of tools for extending Linq with functionality that is not part of the .Net framework.