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

Sorry, there's nothing here.

Cite this paper

@inproceedings{Wang2002SymmetricSS, title={Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures}, author={Farn Wang and Karsten Wolf}, booktitle={FORTE}, year={2002} }