Każdy system ma konkretne i jednocześnie pożądane zachowania, które należy dokładnie określić. Po ich ustaleniu możliwa staje się ich precyzyjna analiza, której celem jest dookreślenie wymagań i sprawdzenie czy nie występują w systemie jakieś wymagania mające charakter sprzeczny lub te, których charakter jest nieprawidłowy.