„probabilistic model checking“
Suchergebnisse
161 Treffer
-
Family-Based Modeling and Analysis for Probabilistic Systems
-
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
-
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
-
Linear Distances between Markov Chains
-
DiPro – A Tool for Probabilistic Counterexample Generation
-
From probabilistic counterexamples via causality to fault trees
-
Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation
-
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
-
Compositional control-flow reduction for probabilistic model checking
-
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
-
Erratum to: Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems
-
Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems
-
Probabilistic Model Checking for Temporal Logics in Weighted Structures
-
Certificates and Witnesses for Probabilistic Model Checking
-
Quantitative Analysis of Configurable and Reconfigurable Systems
-
On the connection of probabilistic model checking, planning, and learning for system verification
-
Modeling and formal verification of probabilistic reconfigurable systems
-
Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
-
Formal Methods: Foundations and Applications – 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
Time Table Scheduling for Single Track Railways by Probabilistic Model Checking and Genetic Algorithms