Coverage metrics for formal verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hana Chockler, Orna Kupferman, Moshe Y. Vardi. Coverage metrics for formal verification. STTT, 8(4-5):373-386, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Hana Chockler

Look up 'Hana Chockler' in GoogleThis author has not been identified. Look up 'Orna Kupferman' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL