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. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Esparza, J., Luttenberger, M., & Schlund, M. (2014). FPsolve: A generic solver for fixpoint equations over semirings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8587 LNCS, pp. 1–15). Springer Verlag. https://doi.org/10.1007/978-3-319-08846-4_1
Mendeley helps you to discover research relevant for your work.