Relational network verification offers a new approach to validating network changes by analyzing similarities and differences between two network snapshots.