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.

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang 0006. STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. 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 319-331, Springer, 2022. [doi]

Authors

Riley Roberts

This author has not been identified. Look up 'Riley Roberts' in Google

Thakur Neupane

This author has not been identified. Look up 'Thakur Neupane' in Google

Lukas Buecherl

This author has not been identified. Look up 'Lukas Buecherl' in Google

Chris J. Myers

This author has not been identified. Look up 'Chris J. Myers' in Google

Zhen Zhang 0006

This author has not been identified. Look up 'Zhen Zhang 0006' in Google
runs on