Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF |
scientific article |
Statements
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (English)
0 references
5 August 2020
0 references
linear real arithmetic (LRA)
0 references
invariant checking
0 references
uninterpreted functions
0 references
abstraction refinement
0 references
safety benchmark
0 references
