Idioma:

The benefits of relaxing punctuality

ALUR, R ; FEDER, T ; HENZINGER, T. A

Journal of the ACM, 1996, Vol.43 (1), p.116-146 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
The benefits of relaxing punctuality
Autor: ALUR, R ; FEDER, T ; HENZINGER, T. A
Assuntos: Algorithms ; Applied sciences ; Computer programming ; Computer science ; Computer science; control theory; systems ; Exact sciences and technology ; Logic programming ; Logical, boolean and switching functions ; Mathematical models ; Programming languages ; Real time ; Semantics ; Software ; Software engineering ; Studies ; Systems design ; Theoretical computing
É parte de: Journal of the ACM, 1996, Vol.43 (1), p.116-146
Notas: ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
Descrição: The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satisfiability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. A temporal language is introduced that can constrain the time difference between events only with finite, yet arbitrary, precision and show the resulting logic to be EXSPACE-complete. This result allows an algorithm to be developed for the verification of timing properties of real-time systems with a dense semantics.
Editor: New York, NY: Association for Computing Machinery
Idioma: Inglês

Links

Voltar para lista de resultados