Automated reasoning lightning talks
Amazon automated reasoning scientists showcase verification methods being applied across Amazon during CAV 2020.
The 32nd International Conference on Computer-Aided Verification (CAV) is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.
During the all-virtual event, Amazon scientists Neha Rungta, Jim Christy, Lee Pike, Nathan Chong, Byron Cook, and Daniel Kroening hosted a lightning talk session, focused on how verification methods are being applied across Amazon.
Watch the recording of the event here, where the scientists provide overviews of constraint-based reasoning, static analysis, and model checking, and discuss how they are applied to Identity and Access Management, Prime Video, IoT devices, S3, and other Amazon applications.