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