International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998.