On the Merits of Temporal Testers⋆ A. Pnueli and A. Zaks New York University, New York, {amir,zaks}@cs.nyu.edu Abstract. The paper discusses the merits of temporal testers,…
