An Automata-Theoretic Approach to Linear Temporal Logic


The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs and specifications are in essence descriptions of computations. These computations can be viewed as words over some alphabet. Thus,programs and specificationscan be viewed as… (More)
DOI: 10.1007/3-540-60915-6_6



Citations per Year

646 Citations

Semantic Scholar estimates that this publication has 646 citations based on the available data.

See our FAQ for additional information.