Automated Verification of RPC Stub Code.

Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz

Browse the full FM paper archive.