Results 21 to 30 of about 26,826 (260)
Timed Context-Free Temporal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free ...
Laura Bozzelli +2 more
doaj +1 more source
A Metric for Linear Temporal Logic
CoRR, 2018 We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets. We analyze how this measure is computed for Linear Temporal Logic (LTL) formulas.
Íñigo Íncer Romeo +4 more
openaire +3 more sources
A Combination of Interval Logic and Linear Temporal Logic [PDF]
, 1998 The super-dense computation model provides an abstraction of real-time behaviour of computing systems. We present a combination of a linear temporal logic and an interval logic that uses super-dense computation and demonstrate how it can be used to specify real-time semantics and real-time properties of an OCCAM-like programming language.
Z. Qiu, C. Zhou
openaire +1 more source
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
Sensors, 2022 Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL). This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method for MTL interpreted over discrete infinite timed models generated by discrete ...
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
doaj +1 more source
Fuzzy Time in Linear Temporal Logic [PDF]
ACM Transactions on Computational Logic, 2014 In the past years, the adoption of adaptive systems has increased in many fields of computer science, such as databases and software engineering. These systems are able to automatically react to events by collecting information from the external environment and generating new events.
Frigeri, Achille +2 more
openaire +4 more sources
Grouping based calculus for propositional linear temporal logic
Lietuvos Matematikos RinkinysIn this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj +3 more sources
Vectorial Languages and Linear Temporal Logic [PDF]
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Polynomial Algorithm of Verication for Subset of PLTL Logic
Моделирование и анализ информационных систем, 2015 In this article a polynomial algorithm is described of verification of dynamic properties of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic of linear time). The algorithm allows to find probability of
P. V. Lebedev
doaj +3 more sources
Two Variable vs. Linear Temporal Logic in Model Checking and Games [PDF]
Logical Methods in Computer Science, 2013 Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL)
Michael Benedikt +2 more
doaj +1 more source