„Model-checking“
Suchergebnisse
1.904 Treffer
-
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
-
Building information modeling (BIM)-based model checking to ensure occupant safety in institutional buildings
-
Identify spatio-temporal properties of network traffic by model checking
-
Improving conformance checking in process modelling: a multiperspective algorithm
-
LTL model checking of self modifying code
-
Global guidance for local generalization in model checking
-
Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data
-
Concise Guide to Software Verification – From Model Checking to Annotation Checking
-
Model Checking of Safety Properties
-
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems
-
Formula-Dependent Equivalence for Compositional CTL Model Checking
-
Bytecode Verification by Model Checking
-
Efficient Detection of Vacuity in Temporal Model Checking
-
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
-
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study*
-
From Pre-Historic to Post-Modern Symbolic Model Checking
-
Model Checking at IBM
-
Model Checking Programs
-
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
-
Unfoldings – a partial order approach to model checking