Formal verification for Blockchain?

More Abir Ben Ali's questions See All

How can we differentiate between calcite, dolomite, siderite, magnesite and ankerite minerals in carbonatite rocks in thin section under op microscop?

How can we differentiate between calcite, dolomite, siderite, magnesite and ankerite minerals in carbonatite rocks in thin section under optical microscope?

07 August 2024 2,132 3 View

Unusual intensity drop in some sections of chromatograms in DDA?

Hi, we have measured tryptic peptides using both DDA and DIA method on QExactive. In DDA replicates i saw unusual intensity drops occurring at the same sections of chromatograms in DDA replicates...

07 August 2024 3,218 4 View

Can you suggest reliable sources defining "3D mesh" and "3D city models"?

Dear fellow researchers, I am currently working on a paper where I need to provide a reliable reference that defines and distinguishes between 3D mesh models and 3D city models. Although I am...

06 August 2024 9,986 2 View

Absorption coefficient of methane?

Hello, Can anyone provide me with the absorption coefficient of methane gas at 7.7 um? Any reference?

06 August 2024 980 5 View

What is the best sampling strategy?

I am conducting a qualitative study that uses interviews to investigate the perceptions of teachers about a particular leadership practice and I am focusing on 3 schools which have a total number...

01 August 2024 8,457 10 View

Looking for help on sem image analysis?

Hello I am conducting a microstructural analysis of a soil treated with lime. The following sem images are of the untreated s1 and treated soil s3. The untreated soil contains quartz calcite...

01 August 2024 572 0 View

What is Random Audit?

HI there, I've came across several articles discuss about random audit an Non random to tax evasion or compliance. Most of the articles is relating about effect of audit (random or non random)...

31 July 2024 5,309 7 View

Can we patent a process flow diagram developed using a process simulator but no actual cases is carried out?

Can we patent a process flow diagram developed using a process simulator but no actual cases is carried out? For example consider a process for certain product manufacture where a new process flow...

31 July 2024 781 1 View

How can we calculate the percentage of configuration interaction (CI) in the UV output data of the Gaussian program?

How can we calculate the percentage of configuration interaction (CI) in the UV output data of the Gaussian program? for example: Excited State 17: Singlet-A 5.1359 eV 241.41 nm...

28 July 2024 9,165 2 View

Please, what is the memory consumption of the Matlab function quad tree decomposition procedure [S = qtdecomp(I)] with respect to the input set I?

27 July 2024 5,455 2 View

Are current regulations effective in preventing cancer caused by toxins?

I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...

02 August 2024 4,474 2 View

Who wants opportunities for scientific cooperation?

Dear Colleagues, I hope this message finds you well. My name is Noor Al-Huda K. Hussein,and I am a researcher specializing in deep learning applications in genetic data analysis. I am currently...

18 July 2024 5,562 0 View

How can I verify if an academic journal is a legitimate publication or a cloned version?

This question seeks to address the growing concern of cloned academic journals, which are fraudulent duplicates of legitimate publications. It aims to guide researchers, scholars, and academics on...

10 July 2024 5,966 2 View

How does lighting affect growth regulators in plants?

كيف تؤثر الإضاءة على منظمات النمو في النباتات؟

09 July 2024 4,197 2 View

Why do you think blockchain is fundamental for digital transformation and role of automation in digital transformation?

02 July 2024 1,735 2 View

What's most fundamental issue blockchain technology is trying to solve & benefits of integrating blockchain into digital transformation strategies?

What is the most fundamental issue blockchain technology is trying to solve and benefits of integrating blockchain into digital transformation strategies?

02 July 2024 6,525 5 View

What is a smart contract in blockchain technology and blockchain platform is known for supply chain management and traceability?

01 July 2024 6,681 4 View

What is a digital form of currency that uses blockchain technology and role of blockchain in digital transformation?

01 July 2024 1,998 0 View

How to improve blockchain technology & supply chain integration with the use of technology can improve overall supply chain efficiency &effectiveness?

How to improve blockchain technology and supply chain integration with the use of technology can improve the overall supply chain efficiency and effectiveness?

01 July 2024 4,052 2 View

What is blockchain technology towards the decentralized revolution in energy systems and blockchain changing the landscape of digitalization?

01 July 2024 2,034 0 View

Yavuzâlp Dal

Yes, there has been work.

See for example:

Article An approach for the automatic verification of blockchain pro...

Or:

https://runtimeverification.com/blog/formal-verification-101-for-blockchain-systems-and-smart-contracts

Abir Ben Ali

Yavuzâlp Dal Thank you for your feedback

You are welcome :)