External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening

Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini. Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening. IEEE Access, 12:119341-119349, 2024. [doi]

Authors

Gianpiero Cabodi

This author has not been identified. Look up 'Gianpiero Cabodi' in Google

Paolo E. Camurati

This author has not been identified. Look up 'Paolo E. Camurati' in Google

Marco Palena

This author has not been identified. Look up 'Marco Palena' in Google

Paolo Pasini

This author has not been identified. Look up 'Paolo Pasini' in Google
runs on