Cloud-Based Verification of Concurrent Software.

Gerard J. Holzmann

Browse the full VMCAI paper archive.