Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems

2020 ◽  
Author(s):  
Abdelhakim Baouya ◽  
Salim Chehida ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Temporal Logic ◽  
Communication Protocol ◽  
Information Gathering ◽  
Consensus Algorithm ◽  
Smart Contracts ◽  
Consensus Protocol ◽  
Statistical Model Checking ◽  
Liveness Properties

Many industrials consider blockchain as a technology breakthrough for cybersecurity, with use cases ranging from cryptocurrency system to smart contracts, and so forth. While IoT systems employ a lightweight communication protocol between physical objects, blockchain may ensure safe information gathering. Unfortunately, the mixture of both technologies has yet to be formally investigated regarding the consensus algorithm. In this paper, statistical model checking is applied to provide quantitative answers on whether the modeled system satisfies safety and liveness properties expressed in LTL temporal logic.

Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

2020 ◽  
pp. 64-80
Author(s):  
Herbert Rausch Fernandes ◽  
Giovanni Freitas Gomes ◽  
Antonio Carlos Pinheiro de Oliveira ◽  
Sérgio Vale Aguiar Campos
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Model Checking ◽  
Statistical Model ◽  
Drug Repurposing ◽  
Statistical Model Checking

scholarly journals Automated parameter estimation for biological models using Bayesian statistical model checking

2015 ◽  
Vol 16 (S17) ◽  
Author(s):  
Faraz Hussain ◽  
Christopher J Langmead ◽  
Qi Mi ◽  
Joyeeta Dutta-Moscato ◽  
Yoram Vodovotz ◽  
...  
Keyword(s):  
Parameter Estimation ◽  
Model Checking ◽  
Statistical Model ◽  
Biological Models ◽  
Statistical Model Checking
Sign in / Sign up

Export Citation Format

Share Document