Formal Verification of SDN-Based Firewalls by Using TLA+.
Young-Mi KimMiyoung KangPublished in: IEEE Access (2020)
Keyphrases
- formal verification
- model checking
- temporal logic
- process algebra
- formal specification
- concurrent systems
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- formal methods
- network security
- asynchronous circuits
- intrusion detection system
- program slicing
- linear temporal logic
- programming language
- functional verification
- specification language
- software development