"Java Model Checking."

David Y. W. Park et al. (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics