David Y. W. Park - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2003

Uprooting Software Defects at the SourceSeth Hallem, David Y. W. Park, Dawson R. Engler. queue, 1(8):64-71, 2003. [doi]

2002

CMC: A Pragmatic Approach to Model Checking Real CodeMadanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill. osdi 2002: [doi]

2000

Java Model CheckingDavid Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill. ASE 2000: 253-256 [doi]

1998

Static Analysis to Identify Invariants in RSML SpecificationsDavid Y. W. Park, Jens U. Skakkebæk, David L. Dill. ftrtft 1998: 133-142 [doi]

Checking properties of safety critical specifications using efficient decision proceduresDavid Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill. fmsp 1998: 34-43 [doi]

Sign in or sign up to see more results.

runs on WebDSL