Microsoft.Coyote.Specifications namespace

public type	description
abstract class Monitor	Abstract class representing a specification monitor.
static class Specification	Provides static methods that are useful for writing specifications and interacting with the systematic testing engine.