8 citations · 15 across the 4 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2012★ 8 cited
Time-Darts: A Data Structure for Verification of Closed Timed Automata
Kenneth Y. Jørgensen, Kim G. Larsen, Jiří Srba
Symbolic data structures for model checking timed systems have been subject to a significant research, with Difference Bound Matrices (DBMs) still being the preferred data structur…
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…