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.

Component-based verification using incremental design and invariants

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. Component-based verification using incremental design and invariants. Software and Systems Modeling, 15(2):427-451, 2016. [doi]

Authors

Saddek Bensalem

This author has not been identified. Look up 'Saddek Bensalem' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Thanh-Hung Nguyen

This author has not been identified. Look up 'Thanh-Hung Nguyen' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google

Rongjie Yan

This author has not been identified. Look up 'Rongjie Yan' in Google
runs on