Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.

Crystal Chang Din, Olaf Owe, Richard Bubel

Browse the full MODELSWARD paper archive.