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

Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE by Lisong Wang, Miaofang Chen, Jun Hu

“…Then we present a formal verification framework for ARINC653 system configuration based on theorem proof techniques, including construction of corresponding REAL theorems according to the semantics of those key components of configuration information and formal verification of theorems for the properties of IMA, such as time constraints, spatial isolation, and health monitoring. …”
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

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

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

Formalization of Linear Space Theory in the Higher-Order Logic Proving System by Jie Zhang, Danwen Mao, Yong Guan

“…Theorem proving is an important approach in formal verification. Higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and stronger semantics. …”
Get full text

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation by José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier Calleja, Fernando Royo

“…Thus, all the benefits of formal verification and simulation are gathered. These correctness properties as well as practical and relevant scenarios for the real world have agreed with the algorithm designers.…”
Get full text

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions by Bahram N. Uchevler, Kjetil Svarstad

“…Assertions can be used to verify specifications of designs in different verification methods such as simulation-based and formal verification. A partitioning algorithm is proposed for clustering the assertion-checker circuits to implement the verification circuits in a limited reconfigurable area in the target FPGA. …”
Get full text

EAP-Based Group Authentication and Key Agreement Protocol for Machine-Type Communications by Rong Jiang, Chengzhe Lai, Jun Luo, Xiaoping Wang, Hong Wang

“…Detailed security analysis has shown that the proposed EG-AKA protocol is secure in terms of user and group identity protection and resistance to several attacks. Furthermore, formal verification implemented in AVISPA proves that the proposed protocol is secure against various malicious attacks. …”
Get full text

An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods by Eduardo Valente, Camelia Avram, José Machado, Adina Astilean

“…For this purpose, modelling formalisms (cellular automata and timed automata) and analysis techniques (simulation and formal verification) are proposed to reach the main goals of modelling complex and adaptable behaviours in urban road traffic with multiple over time changeable configurations. …”
Get full text

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol by Xiaoru Li, Xiaohong Li, Guangquan Xu, Jing Hu, Zhiyong Feng

“…It thus presents a challenge for formal verification. In our analysis, we employ and combine the strength of extended modeling language CSP# and linear temporal logic (LTL) to verify the fairness of OMPCS protocols. …”
Get full text

Review of the Urinary Schistosomiasis Control in Morocco (1960–2018) by A. Balahbib, F. Amarir, S. Bouhout, M. Rhajaoui, E. Adlaoui, A. Sadak

“…The Ministry of Health is planning to implement final confirmatory surveys before requesting WHO to proceed with the formal verification process.…”
Get full text