51 citations · 57 across the 2 of their papers we have counts for
1 paper · 1 filter
Martin Lang, Christof Löding
We consider formal verification of recursive programs with resource consumption. We introduce prefix replacement systems with non-negative integer counters which can be incremented…