Coverage Metrics for Model Checking by Hana Chockler