More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Noble, James; Streader, David; Gariano, Isaac Oscar; Samarakoon, Miniruwani

doi:10.1007/978-3-031-06773-0_23

Cited by 8 publications

(1 citation statement)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed technique involves creating a high-level abstract model of the system using formal methods and verifying the model's correctness through TLA+ 8 check tool. Developing abstract formal models can be a crucial step in validating the proposed solution and ensuring its accuracy before commencing the coding phase [16], [17].…”

Section: Introductionmentioning

confidence: 99%

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Dinparast,

Mohasefi,

Javan

et al. 2024

Preprint

View full text Add to dashboard Cite

This paper proposes a new architecture which addresses the challenge of creating a unified storage cloud out of multiple independent cloud storage by developing a decentralized configuration management system named Durna. Durna integrates blockchain and software defined storage technologies and creates a unified decentralized service while preserving each autonomous unit independent. Durna is capable of generating, distributing, and applying configuration files among nodes in the storage network in a stable, and decentralized manner. By achieving this, the software defined storage gains the decentralized management capability, while still benefiting from its established capabilities in guaranteeing storage service quality. To ensure the system's effectiveness and prevent unforeseen problems, a formal model of the decentralized configuration management system was created and evaluated using model-checking. At the end, we discussed our experience of deploying the primitive Durna hyper-cloud system.

show abstract

Section: Introductionmentioning

confidence: 99%

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Dinparast,

Mohasefi,

Javan

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment

Faria,

Abreu

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

Zetzsche,

Różowski

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Cited by 8 publications

References 37 publications

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

Contact Info

Product

Resources

About

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Cited by 8 publications

References 37 publications

​Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

​Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

Contact Info

Product

Resources

About

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage

Durna: Achieving Cloud of Clouds by integrating Blockchain and Software Defined Storage