Speeding up model checking by exploiting explicit and hidden verification constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer. Speeding up model checking by exploiting explicit and hidden verification constraints. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1686-1691, IEEE, 2009. [doi]

This author has not been identified. Look up 'Gianpiero Cabodi' in GoogleThis author has not been identified. Look up 'Paolo Camurati' in GoogleThis author has not been identified. Look up 'Luz Garcia' in GoogleThis author has not been identified. Look up 'Marco Murciano' in GoogleThis author has not been identified. Look up 'Sergio Nocco' in GoogleThis author has not been identified. Look up 'Stefano Quer' in Google

runs on WebDSL