„Model-checking“
Suchergebnisse
1.904 Treffer
-
Configuration of inter-process communication with probabilistic model checking
-
Hybrid multiagent systems with timed synchronization – specification and model checking
-
Memantine treatment does not affect compulsive behavior or frontostriatal connectivity in an adolescent rat model for quinpirole-induced compulsive checking behavior
-
Advances in probabilistic model checking with PRISM
-
A symbolic model checking approach in formal verification of distributed systems
-
Computer applications for database, education, and ubiquitous computing – international conferences ; proceedings
-
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
-
Composition, decomposition and model checking of pushdown processes
-
Checking a Semiparametric Additive Risk Model
-
Generating BDDs for symbolic model checking in CCS
-
Checking Default Correlation and Score Correlation in a Breakpoint Model for Rating Classification – Supplements to “Estimation of rating classes and default probabilities in credit risk models with dependencies” (Appl. Stoch. Models Bus. Ind. 31 (2015), 762–781)
-
Pushdown processes – parallel composition and model checking
-
Pushdown processes – parallel composition and model checking
-
A model template for reachability-based containment checking of imprecise observations in timed automata
-
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
-
Model checking using net unfoldings
-
Model checking for context free processes
-
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
-
Learning Temporal Properties for Explainability and Verification
-
General models in min-max planar location: Checking optimality conditions