author-photo

M. Kang

University of Pennsylvania

3

Papers

86

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

JMOCHA: a model checking tool that exploits design structure

2001 ICSE | International Conference on Software Engineering
Show All
- Source
- Cite
- Save
Citations (74)
JMOCHA: a model checking tool that exploits design structure

2001 ICSE | International Conference on Software Engineering
Show All
- Source
- Cite
- Save
Citations (0)
MOCHA: Exploiting Modularity in Model Checking

2000 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (12)