2 ms·Armada: Low-Effort Verification of High-Performance Concurrent Programs3 points by andreygrehov 6y ago