Improving the Encoding of LTL Model Checking into SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani. Improving the Encoding of LTL Model Checking into SAT. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 196-207, Springer, 2002. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Marco Pistore' in GoogleIdentified as Marco Roveri This author has not been identified. Look up 'Roberto Sebastiani' in Google

runs on WebDSL