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.

Making PROGRESS in Property Directed Reachability

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp. Making PROGRESS in Property Directed Reachability. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 355-377, Springer, 2022. [doi]

Authors

Tobias Seufert

This author has not been identified. Look up 'Tobias Seufert' in Google

Christoph Scholl

This author has not been identified. Look up 'Christoph Scholl' in Google

Arun Chandrasekharan

This author has not been identified. Look up 'Arun Chandrasekharan' in Google

Sven Reimer

This author has not been identified. Look up 'Sven Reimer' in Google

Tobias Welp

This author has not been identified. Look up 'Tobias Welp' in Google
runs on