„Model-checking“
Suchergebnisse
1.904 Treffer
-
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
-
On Relative and Probabilistic Finite Counterability
-
Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics
-
Parameterized Communicating Automata: Complementation and Model Checking
-
Computing Information Flow Using Symbolic Model-Checking
-
Extending Temporal Logics with Data Variable Quantifications
-
Parameterized Verification of Many Identical Probabilistic Timed Processes
-
Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation
-
Saturation of Concurrent Collapsible Pushdown Systems
-
Model Checking and Functional Program Transformations
-
The Fixed-Parameter Tractability of Model Checking Concurrent Systems
-
Saturation-Based Model Checking of Higher-Order Recursion Schemes
-
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
-
Timed Lossy Channel Systems
-
Accelerating tree-automatic relations
-
Extending the Rackoff technique to Affine nets
-
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width
-
Software Model Checking by Program Specialization
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
-
Concurrency Makes Simple Theories Hard