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

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

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015

Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report)

Peizun Liu, Thomas Wahl

We present an approach to parameterized reachability for communicating finite-state threads that formulates the analysis as a satisfiability problem. In addition to the unbounded n…