Probabilistic guarded commands mechanized in HOL (Q2576950)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic guarded commands mechanized in HOL |
scientific article |
Statements
Probabilistic guarded commands mechanized in HOL (English)
0 references
29 December 2005
0 references
pGCL
0 references
formal verification
0 references
probabilistic programs
0 references
