| ||||
| ||||
![]() Title:Formal Verification of Internet of Things Protocols Authors:Giorgio Delzanno Conference:FRIDA 2018 Tags:Formal Verification, Internet of Things and Protocols Abstract: We apply infinite-state model checking to formally verify Internet of Things protocols such as the Pub/Sub consistency protocol adopted by the REDIS distributed file system. The verification method is based on a combination of SMT-solvers and overapproximations as those implemented in the Cubicle verification tool. Formal Verification of Internet of Things Protocols ![]() Formal Verification of Internet of Things Protocols | ||||
Copyright © 2002 – 2025 EasyChair |