ACM (IMAGE) Association for Computing Machinery Caption The ACM Software System Award is given to an international team for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness. Credit Association for Computing Machinery Usage Restrictions No restrictions. License Public Domain Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.