activity
20152019
most citedVerifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.SE2016★ 1 cited

Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report)

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…