Results 21 to 30 of about 294,052 (285)
A framework for proving the correctness of cryptographic protocol properties by linear temporal logic [PDF]
, 2013 In this paper, a framework for cryptographic protocol analysis using linear temporal logic is proposed. The framework can be used to specify and analyse security protocols.
Abdullah Alabdulatif +2 more
core +1 more source
Modelling and Analysis of the Lift System as a Hybrid System [PDF]
Acta Electrotechnica et Informatica, 2017 This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift.
Dominik VOŠČEK +2 more
doaj +1 more source
Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis-- [PDF]
, 2006 The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic, abbreviated \ATL) and linear temporal logic (\LTL).
A. Pnueli +6 more
core +1 more source
Dynamic Linear Time Temporal Logic
BRICS Report Series, 1997 A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL).
Henriksen, Jesper G., Thiagarajan, P.S.
openaire +3 more sources
Specification Sketching for Linear Temporal Logic
, 2023 Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding of the given system. However, this assumption is often unrealistic in practice: formalizing system requirements is notoriously difficult, error-prone, and requires ...
Lutz, S., Neider, D., Roy, R.
openaire +3 more sources
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
Decision procedure for first-order linear temporal logic with semi-periodic kemels
Lietuvos Matematikos Rinkinys, 2002 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
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
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
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source