Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving

Sorry, there's nothing here.

Cite this paper

@inproceedings{Timm2017ModelCO, title={Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving}, author={Nils Timm and Stefan Gruner and Prince Sibanda}, booktitle={FSEN}, year={2017} }