|
Search the dblp DataBase
David Y. W. Park:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill
Checking properties of safety critical specifications using efficient decision procedures. [Citation Graph (0, 0)][DBLP] FMSP, 1998, pp:34-43 [Conf]
- David Y. W. Park, Jens U. Skakkebæk, David L. Dill
Static Analysis to Identify Invariants in RSML Specifications. [Citation Graph (0, 0)][DBLP] FTRTFT, 1998, pp:133-142 [Conf]
- David Y. W. Park, University Stern, Jens U. Skakkebæk, David L. Dill
Java Model Checking. [Citation Graph (0, 0)][DBLP] ASE, 2000, pp:253-256 [Conf]
- Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
CMC: A Pragmatic Approach to Model Checking Real Code. [Citation Graph (0, 0)][DBLP] OSDI, 2002, pp:- [Conf]
Search in 0.002secs, Finished in 0.002secs
|