Research Article
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches
Table 1
Polynomial representations for properties to be verified.
| No. | Precondition | Expected consequent |
| ā0 | , , | ā N/A | Cycle1 | N/A | | Cycle2 | N/A | | Cycle3 | N/A | | Cycle4 | N/A | | Cycle5 | N/A | | Cycle6 | N/A | | Cycle7 | N/A | |
|
|