1.Previous
3.Next

scopes through an appeal to the small scope hypothesis: that a high proportion of bugs can be found by testing a program for all test inputs within some small scope.

Model structure

Alloy models are relational in nature, and are composed of several different kinds of statements:

* Signatures define the vocabulary of a model by creating new sets
::sig Object{} defines a signature Object
::sig List{ head : lone Node } defines a signature List that contains

1.Previous
3.Next