No label defined (Q5866353)
From MaRDI portal
scientific article; zbMATH DE number 7589540
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7589540 |
Statements
21 September 2022
0 references
relational verification
0 references
constrained Horn clauses
0 references
property-directed reachability
0 references
relational invariants
0 references
