ACM (IMAGE)

Association for Computing Machinery

ACM

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.