Probabilistic abstraction for model checking (Q5277785)
From MaRDI portal
scientific article; zbMATH DE number 6744028
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic abstraction for model checking |
scientific article; zbMATH DE number 6744028 |
Statements
Probabilistic abstraction for model checking (English)
0 references
12 July 2017
0 references
approximate verification
0 references
model checking
0 references
probabilistic abstraction
0 references
probabilistic verification
0 references
property testing
0 references
