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 CEGAR - Building Software Verifiers from Off-the-Shelf Components

Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim. Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 37-38, Gesellschaft für Informatik e.V., 2023. [doi]

Authors

Dirk Beyer 0001

This author has not been identified. Look up 'Dirk Beyer 0001' in Google

Jan Haltermann

This author has not been identified. Look up 'Jan Haltermann' in Google

Thomas Lemberger 0002

This author has not been identified. Look up 'Thomas Lemberger 0002' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on