A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION (Q3677763)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION |
scientific article |
Statements
A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION (English)
0 references
1984
0 references
2-sorted Peano models
0 references
Floyd-Hoare program verification method
0 references
Nonstandard Dynamic Logic
0 references
