Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour.
Ορισμένες τυπικές τεχνικές επαλήθευσης αποκλείουν αυτές τις συμπεριφορές από την ανάλυση, εάν δεν είναι ισοδύναμα με μη Ζήνων συμπεριφορά.