Expression and verification of temporal constraints for real-time systems

A preliminary approach to deal with timing constraints is given. It is shown how to analyze the notion of temporal constraints, and a simple way to express them using the notion of language is proposed. To test the temporal aspects of a full verification, an execution trace on the acceptor of the language is checked. This allows testing of a full specification expressed in any formalism.<
>