VESTA

swMATH8425MaRDI QIDQ20434FDOQ20434

Author name not available (Why is that?)

Official website: http://osl.cs.illinois.edu/media/papers/sen-2005-qest-vesta.pdf

Cited In (25)

• Twenty years of rewriting logic
• Probabilistic timed graph transformation systems
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
• Reasoning about conditional probabilities in a higher-order-logic theorem prover
• Formalization of finite-state discrete-time Markov chains in HOL
• 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
• Probabilistic real-time rewrite theories and their expressive power
• Command-based importance sampling for statistical model checking
• Formal analysis of the time behaviour of network-based automation systems.
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• MODIST
• StochKit2
• PLASMA
• Using theorem proving to verify expectation and variance for discrete random variables
• Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
• Coupling and importance sampling for statistical model checking
• A platform for high performance statistical model checking -- PLASMA
• 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
• Formal reasoning about classified Markov chains in HOL

This page was built for software: VESTA