✳flâneur — a map of the web's best reading

An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog

aws.amazon.com · 2,001 words · saved by 1 readers

We use essential cookies and similar tools that are necessary to provide our site and services. We use performance cookies to collect anonymous statistics, so we can understand how customers use our site and make improvements. Essential cookies cannot be deactivated, but you can choose “Customize” or “Decline” to decline performance cookies. If you agree, AWS and approved third parties will also use cookies to provide useful site features, remember your preferences, and display relevant content, including relevant advertising. To accept or decline all non-essential cookies, choose “Accept” or “Decline.” To make more detailed choices, choose “Customize.” Essential cookies are necessary to provide our site and services and cannot be deactivated. They are usually set in response to your actions on the site, such as setting your privacy preferences, signing in, or filling in forms. Performance cookies provide anonymous statistics about how customers navigate our site so we can improve sit

An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain During a recent visit to the Defense Advanced Research Projects Agency (DARPA) , I mentioned a trend that piqued their interest: Over the last 10 years of applying automated reasoning at Amazon Web Services (AWS) , we’ve found that formally verified code is often more performant than the unverified code it replaces. The reason is that the bug fixes we make during the process of formal verification often positively impact the code’s runtime. Automated reasoning also gives our builders confiden

Explore this link on the map →

saved by

related reading