„Model-checking“
Suchergebnisse
1.904 Treffer
-
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis
-
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
-
Quantitative Modeling and Verification of Evolving Software
-
Distributed Symbolic Model Checking for μ-Calculus
-
Software Model Checking: The VeriSoft Approach
-
Classification of Statistical Models Used in Analyzing Comparisons of Test, Checking, and Calibration Laboratories
-
Model checking object Petri nets in Maude and Prolog
-
System verification tools based on monadic logics
-
Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking
-
Preprocessing for property checking of sequential circuits on the register transfer level – = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
-
Directed search for the verification of communication protocols
-
Exploring the limits of parameterized system verification
-
Abstraction-based verification of parameterized networks
-
Software verification for programmable logic controllers
-
Speeding up hardware verification by automated data path scaling
-
Formal verification of a fully IEEE compliant floating point unit
-
Symbolische LTL-Verifikation von Petrinetzen
-
A framework for checking programmer defined constraints on the definition and use of programm elements in Java
-
Kompositionale Verifikation nebenläufiger Softwaremodelle durch model checking
-
Using model checking for system verification