„Model-checking“
Suchergebnisse
1.904 Treffer
-
Model checking strategy-controlled systems in rewriting logic
-
Developing concepts and methods for module and integration tests for models of reactive systems
-
A temporal logic for the specification and verification of distributed behaviour
-
Decidability and complexity of model checking problems for infinite state systems
-
An approach for the verification and synthesis of complete test generation algorithms for finite state machines
-
Self-Verification - Verification of Embedded Systems after Deployment
-
Simulation Based Execution Time Analysis of SDF Applications on Heterogeneous MPSoCs Using Measured Delay Distributions
-
Model checking, testing and verification working together
-
CoVeriTest: interleaving value and predicate analysis for test-case generation
-
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm
-
Modular Verification of Open Features Using Three-Valued Model Checking
-
Deviation Analysis: A New Use of Model Checking
-
A Nonparametric Model Checking Test for Functional Linear Composite Quantile Regression Models
-
Model-based ideal testing of sequential systems
-
Securing the System: Formal Methods for Error-Free Software
-
A general model-checking procedure for semiparametric accelerated failure time models
-
Ansätze zum Model-Checking nichtlinearer analoger Systeme
-
Property verification of mixed data and control intensive designs
-
Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen
-
Formal methods – proceedings