The following pages link to VESTA (Q20434):
Displayed 22 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Probabilistic timed graph transformation systems (Q1994363) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- Statistical verification of PCTL using antithetic and stratified samples (Q2335899) (← links)
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (Q2335948) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Coupling and Importance Sampling for Statistical Model Checking (Q2894280) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Formalization of Finite-State Discrete-Time Markov Chains in HOL (Q3172906) (← links)
- Verification of Expectation Properties for Discrete Random Variables in HOL (Q3523170) (← links)
- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (Q3605473) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)
- Formal Reasoning about Classified Markov Chains in HOL (Q5327351) (← links)
- (Q5433286) (← links)