A linear algorithm to solve fixed-point equations on transition systems (Q1115196)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A linear algorithm to solve fixed-point equations on transition systems |
scientific article |
Statements
A linear algorithm to solve fixed-point equations on transition systems (English)
0 references
1988
0 references
The authors give an algorithm to compute the least fixed point of a system of equations over a transition system. This algorithm has a time complexity linear in the size of the transition system. The proof of the correctness of the presented algorithm is given.
0 references
fixed point equation
0 references
temporal logics
0 references
model-checker
0 references
time complexity
0 references
transition system
0 references
correctness
0 references
0 references
