Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.

Jori Dubrovin

Browse the full VMCAI paper archive.