An Event-B based approach for cloud composite services verification

DOI10.1007/S00165-020-00517-0zbMath1458.68014OpenAlexW3093336157MaRDI QIDQ826351

Béchir el Ayeb, Mohamed Graiet, Aida Lahouij, Lazhar Hamel

Publication date: 4 January 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00517-0

zbMATH Keywords

resource allocationformal verificationEvent-Bbehavioral verificationcloud composite servicessemantic verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

Uses Software

• SPIN
• Rodin
• ProB
• Z
• SAMC

Cites Work

• Unnamed Item
• A generic framework for \(n\)-protocol compatibility checking
• A verification and deployment approach for elastic component-based applications
• Handbook of Cloud Computing
• The B-Book

This page was built for publication: An Event-B based approach for cloud composite services verification