A validation model for non-lexical routing protocols

In this work, we propose a validation model for non-lexical routing metrics (such as Enhanced Interior Gateway Routing Protocol - EIGRP). Our validation model is based on abstract algebra. It helps in validating necessary routing properties and enhancing existing routing protocols in such a way that makes them meet those properties.