1 citations · 1 across the 1 of their papers we have counts for
1 paper
Peizun Liu, Thomas Wahl
We present a method for accelerating explicit-state backward search algorithms for systems of arbitrarily many finite-state threads. Our method statically analyzes the program exec…