Automated formal reasoning about AWS systems.

Byron Cook

Browse the full FMCAD paper archive.