„Model-checking“
Suchergebnisse
1.904 Treffer
-
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
-
FO-Definability of Shrub-Depth
-
Interval Temporal Logic for Visibly Pushdown Systems
-
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic
-
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
-
From Quantified CTL to QBF
-
Spatial Information Theory and Construction Informatics – a Fruitful Symbiosis (Invited Talk)
-
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata
-
Game-Based Local Model Checking for the Coalgebraic mu-Calculus
-
Reconfiguration and Message Losses in Parameterized Broadcast Networks
-
Robustness Against Transactional Causal Consistency
-
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
-
Concurrent Algorithms and Data Structures for Model Checking (Invited Talk)
-
Model Checking Strategy-Controlled Rewriting Systems (System Description)
-
Model Checking Randomized Security Protocols (Invited Paper)
-
Results on Alternating-Time Temporal Logics with Linear Past
-
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper)
-
Quantifying Bounds in Strategy Logic
-
Separable GPL: Decidable Model Checking with More Non-Determinism
-
Relating Syntactic and Semantic Perturbations of Hybrid Automata