Comments on temporal logics for real-time system specification | Zendy

Carlo A. Furia | Zendy; Matteo Pradella | Zendy; Matteo Rossi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Comments on temporal logics for real-time system specification

Author(s) -

Carlo A. Furia,

Matteo Pradella,

Matteo Rossi

Publication year - 2009

Publication title -

acm computing surveys

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 2.079

H-Index - 163

eISSN - 1557-7341

pISSN - 0360-0300

DOI - 10.1145/1459352.1459358

Subject(s) - computer science , legibility , exposition (narrative) , confusion , temporal logic , programming language , art , psychology , literature , psychoanalysis , visual arts

The article “Temporal Logics for Real-Time System Specification” surveys some of the relevant literature dealing with the use of temporal logics for the specification of real-time systems. Unfortunately, it introduces some imprecisions that might create some confusion in the reader. While a certain degree of informality is certainly useful when addressing a broad audience, imprecisions can negatively impact the legibility of theexposition. We clarify some of its remarks on a few topics, in an effort to contribute to the usefulness of the survey for the reade

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research