Zeno

Các nghĩa

1. nghịch lý Zeno

   Requiring or involving an infinite number of intervals within a finite time.

   not-comparable

   It is therefore important to be able to determine if a model is Zeno and in applicable cases remove Zenoness.

   That is, it is necessary to check whether a run is Zeno so as to avoid presenting Zeno runs as counterexamples.