|
Article information
2010 , Volume 15, ¹ 3, p.52-68
Bozhenkova E.N.
Testing equivalences for real-time event structures
The concept of equivalence is frequently used in verification of comprehensive computational systems. In this paper we consider the problem of recognition of the test equivalences in the time domain in frames of a model for continuous structures of temporal events with hidden actions. The goal of the paper is a reduction of this problem to the problem of model checking. In order to do this we construct a formula that characterizes the temporal structure of events with accuracy of the tested must- and may-preorders
[full text]
Keywords: timed event structure, testing equivalence, real-time, logic characterizations
Author(s):
Bozhenkova Elena Nicolaevna
PhD.
Position: Research Scientist
Office: Institute of Informatics Systems SB RAN
Address: 630090, Russia, Novosibirsk, av. Lavrentjev 6
Phone Office: (383) 330-62-53
E-mail: bozhenko@iis.nsk.su
Bibliography link:
Bozhenkova E.N. Testing equivalences for real-time event structures // Computational technologies. 2010. V. 15. ¹ 3. P. 52-68
|
|
|
|
