Amazon uses Tiros to validate WAN network segmentation with automated reasoning
AIAmazon Web Services describes using Tiros, its automated-reasoning tool for network connectivity, to validate network segmentation across all modeled paths. The approach analyzes a deployed Cloud WAN configuration's route tables, attachments, and policy documents as frequently as every hour, rather than relying on packet sampling.
Source details
Amazon Science · amazon.sciencePublished · added here
Original title: Using mathematics to validate network configurations