„Linear Temporal Logic“
Suchergebnisse
120 Treffer
-
General past-time linear temporal logic specification mining
-
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
-
Backdoors for Linear Temporal Logic
-
Alternative automata-based approaches to probabilistic model checking
-
Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
-
Reactive synthesis with maximum realizability of linear temporal logic specifications
-
On the Expressive Power of Some Extensions of Linear Temporal Logic
-
Induction of Linear Temporal Logic Programs
-
The detection of Udpstorm attacks based on model checking linear temporal logic
-
On Relation Between Linear Temporal Logic and Quantum Finite Automata
-
Nesting Until and Since in Linear Temporal Logic
-
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance
-
Finite-trace linear temporal logic: coinductive completeness
-
Foundations for using linear temporal logic in Event-B refinement
-
On the Relationship of Event Order Logic and Linear Temporal Logic
-
Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
-
Runtime verification of railway applications with extended live sequence charts
-
A Formal Framework for Run-Time Verification of Web Applications – An Approach Supported by Scope Extended Linear Temporal Logic
-
Verifying a Stack with Hazard Pointers in Temporal Logic
-
Visibly Linear Temporal Logic