Formal verification and validation with DEVS-Suite: OSPF Case study.
Ahmet ZenginMuhammed Maruf ÖztürkPublished in: Simul. Model. Pract. Theory (2012)
Keyphrases
- formal verification
- case study
- model checking
- model checker
- automated verification
- symbolic model checking
- real world
- bounded model checking
- traffic engineering
- shortest path
- routing protocol
- network topology
- program slicing
- discrete event
- resource utilization
- software development
- temporal logic
- development process
- open source
- energy consumption
- design process