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…
An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | Amazon Web Services
