However, if provided a set of operating assumptions or constraints, a property checker can prove (or disprove) certain properties by narrowing the solution space.
Međutim, ako se obezbedi niz operativnih pretpostavki ili ograničenja, provera svojstava može dokazati (ili potvrditi) određena svojstva smanjenjem prostora za rešenje.