„Model-checking“
Suchergebnisse
1.904 Treffer
-
Twin-Width Is Linear in the Poset Width
-
Fine-Grained Meta-Theorems for Vertex Integrity
-
Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)
-
Model Checking Timed Recursive CTL
-
Model Checking of Stream Processing Pipelines
-
A Temporal Logic for Strategic Hyperproperties
-
SMT-Based Model Checking of Max-Plus Linear Systems
-
Model Checking Quantum Continuous-Time Markov Chains
-
Linear-Time Model Checking Branching Processes
-
A Linear-Time Nominal μ-Calculus with Name Allocation
-
Higher-Order Model Checking Step by Step
-
The Theory of Concatenation over Finite Models
-
Higher-Order Nonemptiness Step by Step
-
Process Symmetry in Probabilistic Transducers
-
Parametric Model Checking Continuous-Time Markov Chains
-
Propositional Dynamic Logic for Hyperproperties
-
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems
-
On Average-Case Hardness of Higher-Order Model Checking
-
A Probabilistic Higher-Order Fixpoint Logic
-
Evaluation of similarity-checking methods for reference samples migration to monitor land cover changes in the complex terrain of the Alborz Mountains, Iran