Results 251 to 260 of about 135,609 (263)

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

Electronics (Switzerland), 2020
Tianyu Sun, Wensheng Yu, Yu Wensheng
exaly  

A formal toolchain for offline and run-time verification of robotic systems

Robotics and Autonomous Systems, 2023
Silvano Dal Zilio, Felix Ingrand
exaly  

Towards formal verification of IoT protocols: A Review

Computer Networks, 2020
Katharina Hofer-Schmitz, Branka Stojanović   +1 more
exaly  

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Xia Yin, Zhiliang Wang
exaly  

Analyzing encryption protocols using formal verification techniques

IEEE Journal on Selected Areas in Communications, 1989
R A Kemmerer
exaly  

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

Computer Standards and Interfaces, 2018
Alireza Souri, Nima Jafari Navimipour, Amir Masoud Rahmani   +2 more
exaly  

Model-driven approach supporting formal verification for web service composition protocols

Journal of Network and Computer Applications, 2013
Mohamed Bakhouya, Jaafar Gaber, M Wack   +2 more
exaly  

Formal verification of security protocol implementations: a survey

Formal Aspects of Computing, 2014
Matteo Avalle, Alfredo Pironti, Riccardo Sisto   +2 more
exaly  

Modeling and formal verification of embedded systems based on a Petri net representation

Journal of Systems Architecture, 2003
Petru Eles, Zebo Peng
exaly  

Formal verification: an imperative step in the design of security protocols

Computer Networks, 2003
Tom Coffey, Reiner Dojen
exaly