scientific article; zbMATH DE number 7234801

zbMATH Open1449.68007MaRDI QIDQ3307708FDOQ3307708

Authors: Hanpin Wang, Lei Zhang 

Publication date: 12 August 2020

Title of this publication is not available (Why is that?)

Recommendations

• Design and validation of cloud storage systems using formal methods
• Formalizing compute-aggregate problems in cloud computing

zbMATH Keywords

model checkingcloud computingformal method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11) General topics in the theory of computing (68Q01)

Cited In (4)

• Formalizing workflows partitioning over federated clouds: multi-level security and costs
• ASM-based formal design of an adaptivity component for a cloud system
• Survey of geo-distributed cloud research progress
• Design and validation of cloud storage systems using formal methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3307708)