Routing Policy Specification Language (RPSL).
Cengiz AlaettinogluCurtis VillamizarElise GerichDavid KessensDavid M. MeyerTony BatesDaniel KarrenbergMarten TerpstraPublished in: RFC (1999)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- symbolic execution
- software environment
- optimal policy
- routing problem
- requirements specification
- routing algorithm
- routing protocol
- open source
- model checking
- general purpose
- software engineering
- query language
- dynamic programming
- data model
- cooperative
- high level
- real world