Specification class

Provides static methods that are useful for writing specifications and interacting with the systematic testing engine.

public static class Specification

Public Members

name description
static Assert(…) Checks if the predicate holds, and if not, throws an AssertionFailureException exception. (4 methods)
static Monitor<T>(…) Invokes the specified monitor with the given event.
static RegisterMonitor<T>() Registers a new safety or liveness monitor.


See Specifications Overview for more information.

See Also