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.

Interactive Verification of Concurrent Systems using Symbolic Execution

Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn. Interactive Verification of Concurrent Systems using Symbolic Execution. In Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Authors

Michael Balser

This author has not been identified. Look up 'Michael Balser' in Google

Simon Bäumler

This author has not been identified. It may be one of the following persons: Look up 'Simon Bäumler' in Google

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google
runs on