Back to Results
First PageMeta Content
Phase 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 University
Add to Reading List

Document Date: 2011-12-05 14:08:53


Open Document

File Size: 1,80 MB

Share Result on Facebook

Company

Checkpoint / eMC / B DB / Reliability Keywords Software / Microsoft Research Asia / Target Application LC Global / Intel / /

/

Event

Man-Made Disaster / /

Facility

Tsinghua University / Columbia University / /

IndustryTerm

software system / secondary server / concurrent/distributed systems / software model checker / Implementation-level software / search algorithms / software defects / potential software defects / depthfirst search / statespace exploration algorithm / inter-thread/process communications / software complexity / random walk algorithm / cloud infrastructure / partial-replay local systems / software model checking / representative applications / classic peer-topeer protocols / real distributed systems / commodity hardware / representative distributed applications / real-world systems / /

Organization

Columbia University / Tsinghua University / /

Person

Gang Hu∗† Junfeng / Ming Wu† Lidong Zhou / /

Position

Model checking / replication manager / General / test driver / model the basic concurrency unit / representative / /

Product

PS3 / WSAEventSelect / D E M ETER / /

ProgrammingLanguage

C / C++ / /

Technology

detailed algorithm / two classic peer-topeer protocols / peer-to-peer / API / PAXOS protocol / UDP / shared memory / Local Explorers The DIR algorithm / Ethernet / DIR algorithm / statespace exploration algorithm / random walk algorithm / caching / key DIR algorithm / two search algorithms / /

SocialTag