Conference on Computer Aided Verification (CAV 2000)