Travelled to:1 × USA
Collaborated with:D.L.Dill U.Stern J.U.Skakkebæk M.Musuvathi A.Chou D.R.Engler
Talks about:model (2) check (2) approach (1) pragmat (1) real (1) java (1) code (1) cmc (1)
Person: David Y. W. Park
DBLP: Park:David_Y=_W=
Contributed to:
2002
2000Wrote 2 papers:
- OSDI-2002-MusuvathiPCED #approach #model checking #named
- CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.
- ASE-2000-ParkSSD #java #model checking
- Java Model Checking (DYWP, US, JUS, DLD), pp. 253–256.