A typical software module evolves through many versions over the course of its development. To maintain compatibility with module clients, it is crucial that a module’s behavior at its interface does ...

Abstract: Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades. The ability ...

Abstract: We propose conditional observational equivalence — a variant of observational equivalence that is more flexible since it can be made dependent on arbitrary safety trace properties. We extend ...

Currently conditional equivalence is lumped together with the "expected inequivalent" tests. We need a separate test category that verifies a non-trivial equivalence condition is found for expected ...

We thank Adolf and Fried (1) for their insightful commentary on our paper (2). We agree, in principle, that group-to-individual generalizability lies along a continuum. Some intraindividual and ...