Interactive Verification of Concurrent Systems using Symbolic Execution.

Michael Balser, Simon Bumler, Wolfgang Reif, Gerhard Schellhorn

Browse the full LPAR paper archive.