Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts by Iqra Mustafa, Alan McGibney, Susan Rea

Subjects: “…formal verification…”
Get full text

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems by Igor Buzhinsky, Antti Pakonen

Subjects: “…Formal verification…”
Get full text

Model Checking for Real-Time Attack Detection in Water Distribution Systems by Francesco Mercaldo, Fabio Martinelli, Antonella Santone

Subjects: Get full text

Requirement Validation for Embedded Systems in Automotive Industry Through Modeling by Danish Iqbal, Assad Abbas, Mazhar Ali, Muhammad Usman Shahid Khan, Raheel Nawaz

Subjects: Get full text

Algorithm and Formal Model of Recovering Network Connectivity in Battlefield Surveillance by Nazir Ahmad Zafar, Hamra Afzaal

Subjects: Get full text

Authentication and Key Agreement Protocol for UAV Communication by JIAN Qi-rui, CHEN Ze-mao, WU Xiao-kang

Subjects: “…unmanned aerial vehicle|mutual authentication|key agreement|communication security|security protocol|formal verification…”
Get full text

Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes by Fawad Ali Mangi, Guoxin Su, Minjie Zhang

Subjects: “…formal verification…”
Get full text

Data-Driven Model Discrimination of Switched Nonlinear Systems With Temporal Logic Inference by Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong

Subjects: Get full text

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems by Zheng Yang, Hang Lei

Subjects: “…Formal verification…”
Get full text

On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study by Devaprakash Muniraj, Dany Abou Jaoude, Mazen Farhood

Subjects: Get full text

Model‐based validation of diagnostic software with application in automotive systems by Jun Chen, Ramesh S

Subjects: Get full text

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits by Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh, Muhammad Shafique

Subjects: Get full text

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks by Rachida Boucebsi, Faiza Belala

Subjects: Get full text

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations by Dmitrii Drozdov, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Subjects: Get full text

SCVerify: Verification of Software Implementation Against Power Side-Channel Attacks by ZHANG Jun

Subjects: Get full text

Verifying Maze-Like Game Levels With Model Checker SPIN by Onur Tekik, Elif Surer, Aysu Betin Can

Subjects: “…Formal verification…”
Get full text

Survey on Scenario-Based Safety Assessment of Automated Vehicles by Stefan Riedmaier, Thomas Ponn, Dieter Ludwig, Bernhard Schick, Frank Diermeyer

Subjects: Get full text

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal by Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

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

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver by Konstantin Chukharev, Daniil Chivilikhin

Subjects: Get full text