Sono un'astrazione particolarmente utile nel campo dei metodi formali, in particolare per le tecniche model checking.
sˌono ʊnastratsiˈone partikolarmˈente ˈutile nel kˈampo dˌeɪ mˈɛtodɪ formˈalɪ, in partikolˈare per le tˈeknike mˈodel kˈekːiŋɡ.