codebase:liveness

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
codebase:liveness [2025/05/05 10:44] – fponzicodebase:liveness [2025/05/06 21:23] (current) – fponzi
Line 116: Line 116:
   * The tableau construction is a key theoretical component that allows the algorithm to check arbitrary temporal formulas.   * The tableau construction is a key theoretical component that allows the algorithm to check arbitrary temporal formulas.
   * Tarjan's algorithm for finding strongly connected components is at the core of the liveness checking mechanism.   * Tarjan's algorithm for finding strongly connected components is at the core of the liveness checking mechanism.
 +  * The content of this page was generated by deepwiki.com.
  • codebase/liveness.1746441865.txt.gz
  • Last modified: 2025/05/05 10:44
  • by fponzi