Design, implementation and formal verification of BGP proxy for mimic router by Jin ZHANG, Qiang GE, Weihai XU, Yiming JIANG, Hailong MA, Hongtao YU

Subjects: Get full text

A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems by Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Subjects: Get full text

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques by Oumaima Barhoumi, Mohamed H. Zaki, Sofiene Tahar

Subjects: Get full text

Formal verification and implementation of safety computer communication management mechanism by Liang LIANG, Yuan CAO, Lian-chuan MA, Yu-zhuo ZHANG, Heng-kui LI

Subjects: Get full text

Firmware vulnerability analysis based on formal verification of software and hardware by Peng-hui ZHANG, Xi TIAN, Kang-wei LOU

Subjects: Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

Subjects: Get full text

An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency by Jianyu Zhang, Long Zhang, Yixuan Wu, Linru Ma, Feng Yang

Subjects: Get full text

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review by Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

Subjects: Get full text

End-to-End Framework for Identifying Vulnerabilities of Operational Technology Protocols and Their Implementations in Industrial IoT by Matthew Boeding, Michael Hempel, Hamid Sharif

Subjects: Get full text

Verification of serialising instructions for security against transient execution attacks by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Subjects: Get full text