„Model-checking“
Suchergebnisse
1.904 Treffer
-
Wahrscheinlichkeitsbasierte Modellverifikation Netzbasierter Automatisierungssysteme (Probabilistic Model Checking of Networked Automation Systems)
-
Concepts, algorithms, and tools for model checking
-
Effiziente Modellprüfung des μ-Kalküls [my-Kalküls] mit binären Entscheidungsdiagrammen
-
Specifying and model checking distributed control algorithms at meta-level
-
Towards verified continuous integration in the engineering of automated production systems
-
Test- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen
-
Formal techniques in real time and fault tolerant systems – 6th international symposium ; proceedings
-
Statecharts in CSP – ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts
-
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
-
Models and Methods for Checking the Attainability of Goals and Feasibility of Plans in Large-Scale Systems Using the Example of Goals and Plans for Elimination of the Consequences of Flood
-
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
-
Model checking ASM: the MDG approach
-
Automated Reasoning under Weak Memory Consistency
-
Model checking pushdown systems
-
Transactions on Petri nets and other models of concurrency
-
Exploiting hierarchies in temporal logics, finite automata, arithmetics, and μ-calculus [my-calculus] for efficiently verifying reactive systems
-
Zum modellbasierten funktionalen Test reaktiver Systeme
-
Verification of Erlang programs using abstract interpretation and model checking
-
Analyzing neural network behavior through deep statistical model checking
-
Model checking multi-agent systems with logic based Petri nets