VESTA

swMATH8425MaRDI QIDQ20434

No author found.

Related Items (22)

Coupling and Importance Sampling for Statistical Model Checking ⋮ A Platform for High Performance Statistical Model Checking – PLASMA ⋮ Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ Formalization of Finite-State Discrete-Time Markov Chains in HOL ⋮ Command-based importance sampling for statistical model checking ⋮ Formal Reasoning about Classified Markov Chains in HOL ⋮ A Tutorial on Interactive Markov Chains ⋮ Twenty years of rewriting logic ⋮ Formal reasoning about finite-state discrete-time Markov chains in HOL ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ Verification of Expectation Properties for Discrete Random Variables in HOL ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ Probabilistic timed graph transformation systems ⋮ Reasoning about conditional probabilities in a higher-order-logic theorem prover ⋮ Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays ⋮ Formal verification of tail distribution bounds in the HOL theorem prover ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Using theorem proving to verify expectation and variance for discrete random variables ⋮ Statistical verification of PCTL using antithetic and stratified samples ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis ⋮ Unnamed Item

This page was built for software: VESTA