Results 21 to 30 of about 547,797 (285)
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
Temporal Analysis and Classification of Sensor Signals
Sensors, 2023 Understanding the behaviour of sensors, and in particular, the specifications of multisensor systems, are complex problems. The variables that need to be taken into consideration include, inter alia, the application domain, the way sensors are used, and ...
Piotr Kosiuczenko
doaj +1 more source
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
Specification Mining over Temporal Data
Computers, 2023 Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations.
Giacomo Bergami +2 more
doaj +1 more source
Formalism-Driven Development: Concepts, Taxonomy, and Practice
Applied Sciences, 2022 Formal methods are crucial in program specification and verification. Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove them. Nevertheless, the applicability of formal methods
Yepeng Ding, Hiroyuki Sato
doaj +1 more source
Mean-Payoff Games with ω-Regular Specifications
Games, 2022 Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players.
Julian Gutierrez +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
Logics of Temporal-Epistemic Actions [PDF]
, 2014 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation.
Renne, Bryan, Sack, Joshua, Yap, Audrey
core +3 more sources
Information and Computation, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruse, Florian, Lange, Martin
openaire +3 more sources
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source