Abstracting IoT protocols using timed process algebra and SPIN model checker.
N. Suresh KumarG. Santhosh KumarPublished in: Clust. Comput. (2023)
Keyphrases
- process algebra
- model checker
- model checking
- formal methods
- formal specification
- temporal logic
- concurrent systems
- formal verification
- communication protocols
- petri net
- asynchronous circuits
- specification language
- knowledge based systems
- artificial intelligence
- software engineering
- reverse engineering
- description language
- machine learning
- communication protocol
- binary decision diagrams