C. Dai and S.D. Bruda (Canada)
formal methods, real-time systems, verification and valida tion, real-time software testing
We propose a new semantic model for reasoning about real time systems. Based on a theory of timed omega-final regu lar states, we present a framework of timed testing and two refinement timed preorders similar to De Nicola and Hen nessy’s may and must testing. We also provide alternative characterizations for these relations to show that the new preorders are extensions of the traditional preorders and to lay the basis for a unified logical and algebraic approach to conformance testing of real-time systems.
Important Links:
Go Back
