ISSE

Search

Verifying Concurrent Systems with Symbolic Execution

M. Balser, C. Duelli, W. Reif, G. Schellhorn

Verifying Concurrent Systems with Symbolic Execution

published October 2000 accepted for ICTL 2000