Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications

Abdelaziz Fellah
2015 Procedia Computer Science  
Time dependent models have become increasingly important in formal modeling and verification of software systems. In this paper, we investigate the expressiveness of real-time iterative arrays and trees in the context of language recognition. Such synchronous parallel models of computation must meet high dependability requirements in performing complex interactions in a real-time environment. Furthermore, we present timed event alternating automata which do not only describe a theoretical model
more » ... framework for formal languages but establishes strong relationships and foundations to timed propositional temporal logic through two embedded powerful metaphors -alternation and time.
doi:10.1016/j.procs.2015.08.409 fatcat:j3dkp4nryzg23kjexwn7bdvile