"FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings."

Javier Esparza, Michael Luttenberger, Maximilian Schlund (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics