Towards a Framework for Scalable Model Checking of Concurrent C Programs.

Ji Wang, Xiaodong Yi, Xuejun Yang

Browse the full ISoLA paper archive.