Results 11 to 20 of about 1,696,138 (202)
Temporal Logic for Programmable Logic Controllers
Моделирование и анализ информационных систем, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements.
Natalia Olegovna Garanina +6 more
doaj +5 more sources
, 2017 International audienceSince the early 1990's, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays ...
James Worrell +14 more
core +5 more sources
, 2004 In this paper, we study the predicative semantics of different temporal logics and the relationships between them. We use a notation called generic composition to simplify the manipulation of predicates. The modalities of possibility and necessity become
Zhiming Liu, Yifeng Chen
core +2 more sources
Information and Computation, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruse, Florian, Lange, Martin
openaire +3 more sources
Temporal Justification Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics.
Samuel Bucheli +2 more
openaire +5 more sources
On the Modeling and Verification of Collective and Cooperative Systems
Frontiers in Robotics and AI, 2022 The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues.
Alessandro Aldini
doaj +1 more source
A Formal Approach to Coercion Resistance and Its Application to E-Voting
Mathematics, 2022 The outbreak of the COVID-19 pandemic brought renewed attention to electronic voting—this time as a potential option to contain the spread during elections.
Stanislas Riou +2 more
doaj +1 more source
Quantales and Temporal Logics [PDF]
, 2006 We propose an algebraic semantics for the temporal logic CTL* and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument.
Möller, Bernhard (Prof. Dr.) +2 more
openaire +2 more sources
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
More efficient proof-search for sequents of temporal logic
Lietuvos Matematikos Rinkinys, 2022 The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus.
Romas Alonderis
doaj +1 more source