„model checking“
Suchergebnisse
1.904 Treffer
-
Checking Model Adequacy for Count Time Series by Using Pearson Residuals
-
Revisiting the Postulates of Etiological Models of Eating Disorders : Questioning Body Checking as a Longer-Term Maintaining Factor
-
Time constrained verification of analog circuits using model-checking algorithms
-
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
-
IC3 software model checking
-
Modulare und kompositionale Verfikation von zustandsendlichen Systemen
-
The Complexity of Model Checking Multi-Stack Systems
-
Preface of the special issue on Model Checking of Software – Selected papers of the 20th International SPIN Symposium on Model Checking of Software
-
Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap
-
Stochastic model checking – rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
-
Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung
-
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
-
A coverage measure for bounded model checking
-
Cooperative verifier-based testing with CoVeriTest
-
CDL - eine Logik für unendliche nebenläufige Systeme
-
Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL
-
The fixpoint analysis machine
-
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
-
Zur Modellprüfung von parallelen und verteilten Programmabläufen
-
Methods for Checking Assumptions in Regression Models