A verification and deployment approach for elastic component-based applications

DOI10.1007/S00165-017-0425-3zbMath1377.68039OpenAlexW2606188821MaRDI QIDQ1688553

Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata

Publication date: 8 January 2018

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

Full work available at URL: https://doi.org/10.1007/s00165-017-0425-3

zbMATH Keywords

elasticitycloudautomatic verificationevent-Bcomponent-based applications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (2)

An Event-B based approach for cloud composite services verification ⋮ A verification and deployment approach for elastic component-based applications

Uses Software

• Rodin
• ProB

Cites Work

• A verification and deployment approach for elastic component-based applications
• Proof-based verification approaches for dynamic properties: application to the information system domain
• Unnamed Item

This page was built for publication: A verification and deployment approach for elastic component-based applications