Uvod

orb validate ne preverja samo sintakse. Hodi po grafu avtomata stanj in dokazuje lastnosti, ki bi sicer zahtevale desetine rocno napisanih testov. Zaprte zanke, pogodbe oddajanja, veljavnost vezav in zahteve lastnosti vzorcev — vse preverjeno, preden se generira kakrsnakoli koda.