„Model Checking“
Suchergebnisse
1.904 Treffer
-
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware – Modellkomposition zur Nutzung der funktionalen Verifikation
-
Model-checking task-parallel programs for data-race
-
Automatic B-model repair using model checking and machine learning
-
$$\hbox {CTL}^{\star }$$ CTL ⋆ family-based model checking using variability abstractions and modal transition systems
-
Evaluating Uncertainty in Signaling Networks Using Logical Modeling
-
Artificial models for checking different methods of determining the figure of the earth
-
An experience in proving regular networks of processes by modular model checking
-
Méthodes formelles pour le parallélisme – Spécification, modélisation et vérification des systèmes concurrents
-
Model Checking Complete Requirements Specifications Using Abstraction
-
Model Checking Techniqes for the Analysis of Reactive Systems
-
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard
-
Model checking: a hardware design perspective
-
Computable fixpoints in well-structured symbolic model checking
-
Word level bitwidth reduction for unbounded hardware model checking
-
Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design
-
Efficient distributed SAT and SAT-based distributed Bounded Model Checking
-
Model-checking multi-threaded distributed Java programs
-
Local model checking and protocol analysis
-
Bayesian model checking in cognitive diagnostic models
-
Model checking JAVA programs using JAVA PathFinder