About this page

Practice – Communications of the ACM

https://cacm.acm.org/section/practice

“A survey of the portfolio of formal methods used across AWS to deliver complex services with high confidence in assuring systems correctness. Apr 25 2025 Submit articles for inclusion in CACM’s new Practice section, dedicated to enhancing practitioners’ understanding of computing and improving job...” (from the page’s text)

Topic: Technology
Quality: Quality 84 scored 12 Aug 2025
Language: english
Text on page: 3,378 characters
Page size: 157 kB
Answered: OK (200), HTML
Last read: 7 Jul 2025
In our index since: 6 Jul 2025
Safe search: Not checked yet
Links to it: No other site we've read links here yet

Tools for this page

Other sites that can tell you more. Plain links: we don't track where you go.

About the site

Domain owner ICANN registration lookup
Certificates certificate transparency, subdomains
Safety check Safe Browsing status
Trackers The Markup's Blacklight
Is it down? for everyone, or just you

Discussions

Hacker News stories linking here
Reddit posts from this site
Wikipedia articles mentioning the site

For web makers

PageSpeed Lighthouse report
HTML validator W3C
Accessibility WAVE by WebAIM
Security headers

Who links to it

We haven't seen any links to this page yet. That usually means we haven't crawled the pages that link to it, not that there are none.

“Not rated yet” and similar notes are shown on purpose: we say what we haven't measured, so the page doesn't look emptier or better than it is.