FPsolve

FPsolve: a generic solver for fixpoint equations over semirings. We introduce FPsolve, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian: FPsolve: a generic solver for fixpoint equations over semirings (2014)