Results 21 to 30 of about 71,669 (311)
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.
Alabdulatif, A, Ma, X, Nolle, L
core +1 more source
Bounded saturation-based CTL model checking; pp. 59–70 [PDF]
Proceedings of the Estonian Academy of Sciences, 2013 Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model
András Vörös +2 more
doaj +1 more source
Program transformations using temporal logic side conditions [PDF]
, 2009 This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Richard Warburton +7 more
core +1 more source
Completeness classes for intuitionistic first-order temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2023 There is not abstract.
Romas Alonderis
doaj +3 more sources
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
IEEE Access, 2023 Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats.
Ziquan Deng +3 more
doaj +1 more source
Bisimulations for Temporal Logic
Journal of Logic, Language and Information, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire +3 more sources
HIERARCHICAL REPRESENTATION OF CAUSAL RELATIONSHIPS TO DETAIL EXPLANATIONS IN INTELLIGENT SYSTEMS
Сучасні інформаційні системи, 2021 The subject of research in the article is the processes of constructing explanations in intelligent systems based on the use of causal dependencies. The aim is to develop a hierarchical representation of causal relationships between the actions of an ...
Serhii Chalyi, Volodymyr Leshchynskyi
doaj +1 more source
Temporal Logics with Language Parameters [PDF]
Information and Computation, 2021 Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple regular properties like "Every other index is labelled a cannot be expressed in these logics. While many extensions were
Jens Oliver Gutsfeld +2 more
openaire +2 more sources
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality [PDF]
, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Zvereva, Tatyana Yu. +1 more
core +1 more source