FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings
Javier Esparza, Michael Luttenberger, Maximilian Schlund · International Journal of Foundations of Computer Science · 2015
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.