Autor: dmarmsoler

My new paper, accepted for presentation at the 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, describes a case study in which I applied FACTum to verify persistency of blocks in Blockchain Architectures.

 

I’m just back from a Lorentz Center Workshop on Dynamics of Multi-Agent Systems where I was presenting my work on the verification of dynamic architectures.

I just prepared a summary of my research for SE 2019. A preprint is available here. In addition you can download a poster of my overall research here. Feel free to leave a comment!

Our proposal for FMBC got accepted at FM 2019.

With this newly proposed workshop, we want to discuss and identify possibilities and limitations of Formal Methods to provide a more rigorous approach to Blockchain. We invite authors to submit papers related to the use of FMs techniques and tools for blockchain technology.

Topics include, but are not limited to:

• Formal models of blockchain applications or concepts
• Formal methods for consensus protocols
• Formal methods for blockchain-specific cryptographic primitives or protocols
• Formal languages for Smart Contracts
• Verification of Smart Contracts

We look forward to your contribution!

Hi, this is my new website:

• This page contains all the news.
• Under research you can find details about my research: projects, publications, …
• Under teaching I provide more details about my past and current teaching activities.
• If you are looking for topics for your thesis or guided research, you should visit supervision.
• On page FACTum you can find more details about my approach for the axiomatic specification of dynamic architectures as well as its implementation in Eclipse/EMF.