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...
CuttingEdge.Conditions is a library that helps developers to write fluent pre and postcondition validations in their C# 3.0 and VB.NET 9.0 code base.
Writing these validations is easy and it improves the readability and maintainability of code.
This is a library of tools for checking that your sites have restarted after a deployment.
Akka.NET is a port of the popular Java/Scala framework Akka to .NET
This is a library of tools for extending Linq with functionality that is not part of the .Net framework.
Library for adding health checking endpoint to web service or application.
Core library of Microsoft Orleans used both on the client and server.
Small and simple library to help checking arguments
A SQL server database consistency and comparison testing tool. Shared libraries.
Library of built-in persistence and stream providers included in Microsoft Orleans.
A SQL server database consistency and comparison testing tools. Commandline tools for creating databases, running SQL scripts, and generating migrations across different environments.
Generic container for packing values with built-in value initialization check.
Core runtime library of Microsoft Orleans that hosts and executes grains within a silo.
Core abstractions library of Microsoft Orleans
Contracts ensuring, Messanging, LINQ expression parser and extension methods, Task Parallel Library helpers, Type auto-mapping for storage and benchmark.
This package contains SharePoint and Project Client Object Model libraries
Library with core types shared between silo and extensions.
Provides a set of validation and runtime checking extension methods which permits a more fluent programming style.