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]