Armada: Low-Effort Verification of High-Performance Concurrent Programsdl.acm.org3 pointsandreygrehov6 years ago