Supporting 5G service orchestration with formal verification.
Peter BackemanAshalatha KunnappillyCristina SeceleanuPublished in: Comput. Sci. Inf. Syst. (2023)
Keyphrases
- formal verification
- web services
- model checking
- service oriented architecture
- automated verification
- bounded model checking
- model checker
- service providers
- symbolic model checking
- management system
- service discovery
- service oriented
- description language
- service composition
- information services
- temporal logic
- program slicing
- formal specification
- business processes