To automatically check whether a model of a system meets a given specification.

The “Crab Mentality” in Marketing, Product Design and Innovation
The Crab mentality (“crabs in a bucket”) is a psychological and social phenomenon where members of a group attempt to reduce the confidence of any member who achieves success beyond the others, or to pull them back down to the group’s level. It is best summarized by the phrase: “If I can’t have it, neither…





