18 citations · 22 across the 6 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Comparison of Algorithms for Checking Emptiness on Buechi Automata
Andreas Gaiser, Stefan Schwoon
We re-investigate the problem of LTL model-checking for finite-state systems. Typical solutions, like in Spin, work on the fly, reducing the problem to Buechi emptiness. This can b…
cs.DS2009
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
Morten Kühnrich, Stefan Schwoon, Jiří Srba +1
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes after…