First Page | Document Content | |
---|---|---|
Date: 2011-12-05 14:08:53Phase transition Actor model Trace Concurrent computing Mathematics Model checking | Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua UniversityAdd to Reading ListSource URL: www.cs.columbia.eduDownload Document from Source WebsiteFile Size: 1,80 MBShare Document on Facebook |