Vérifier automatiquement si un modèle de système répond à une spécification donnée.

La « mentalité du crabe » en marketing, conception de produits et innovation
La mentalité du crabe (« crabes dans un seau ») est un phénomène psychologique et social où les membres d'un groupe tentent de saper la confiance de tout membre qui réussit mieux que les autres, ou de le ramener au niveau du groupe. Elle se résume le mieux par la phrase : « Si je ne peux pas l'avoir, personne ne l'a. »





