Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.

Farn Wang, Karsten Schmidt

Browse the full FORTE paper archive.