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

First Page		Document Content
Date: 2011-09-20 03:37:00 Concurrent programming languages Actor model Concurrent computing Phase transition Trace XC		Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University Add to Reading List Source URL: sigops.org Download Document from Source Website File Size: 857,20 KB Share Document on Facebook