„Model-checking“
Suchergebnisse
1.904 Treffer
-
Swarm model checking on the GPU
-
An improved approach on the model checking for an agent-based simulation system
-
Model-checking precision agriculture logistics: the case of the differential harvest
-
Model checking boot code from AWS data centers
-
Model checking transactional memories
-
A survey on formal verification techniques for safety-critical systems-on-chip
-
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
-
Stepwise development and model checking of a distributed interlocking system using RAISE
-
An Efficient Bounded Model Checking Approach for Web Service Composition
-
Debugging Smart Contract’s Business Logic Using Symbolic Model Checking
-
Transitive-closure-based model checking (TCMC) in Alloy
-
Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models
-
The model checking fingerprints of CTL operators
-
Fact-checking strategies to limit urban legends spreading in a segregated society
-
Efficient Strategies for CEGAR-Based Model Checking
-
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
-
Objective/MC: A high-level model checking language – Formalization of the imperative core and translation into PRISM
-
Parameterized model checking of rendezvous systems
-
The detection of Udpstorm attacks based on model checking linear temporal logic
-
Ethernet-Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking