VESTA

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