# Amazon uses Tiros to validate WAN network segmentation with automated reasoning

> Original title: Using mathematics to validate network configurations

- Source: Amazon Science
- Published: 2026-11-11T17:02:01.000Z
- Bad Influence: https://badinfluence.news/items/awkwkc0c4mt375sy58c6m4yak
- Original: https://www.amazon.science/blog/using-mathematics-to-validate-network-configurations

## Summary

Amazon 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. Tiros checks that no path exists between segments that the policy declares should be isolated.