In formal verification terms, a property is a factual statement about the expected or assumed behavior of another object.
U uslovima formalne verifikacije , svojstvo (property) je činjenična izjava o očekivanom ili pretpostavljenom ponašanju drugog objekta.