A non-linear arithmetic procedure for control-command software verification (Q2324228)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A non-linear arithmetic procedure for control-command software verification |
scientific article |
Statements
A non-linear arithmetic procedure for control-command software verification (English)
0 references
16 September 2019
0 references
SMT
0 references
nonlinear real arithmetic
0 references
polynomial inequalities
0 references
convex optimization
0 references
