Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗

First Page		Document Content
Date: 2011-09-11 16:39:27 Concurrent programming languages Actor model Concurrent computing Trace XC		Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Add to Reading List Source URL: www.sigops.org Download Document from Source Website File Size: 340,79 KB Share Document on Facebook