首届云上及面向云的形式化方法国际研讨会会议录
分布式、并行与集群计算
2016-10-26 v1 计算机科学中的逻辑
网络与互联网体系结构
摘要
云解决方案正日益用于大量目的，包括解决内存密集型和计算密集型问题。确保云解决方案的可靠性、可用性、可扩展性和安全性，作为具有资源动态重分配等属性的网络分布式系统，是一个需要严格建模、分析和验证工具的挑战性问题。此类工具可利用形式化方法界提供的技术来设计。另一方面，许多形式化分析和验证工具是内存密集型和计算密集型解决方案，可受益于云技术。iFMCloud研讨会的目标是识别并更好地理解使用形式化和半形式化方法对基于云的系统以及计算机和通信网络进行建模和验证的挑战，以及在云上提供形式化分析和验证作为服务的挑战与机遇。我们旨在通过汇集来自这些及其他相关领域的研究人员和从业者来实现这些目标。
引用
@article{arxiv.1610.07700,
title = {Proceedings of the First International Workshop on Formal Methods for and on the Cloud},
author = {Razieh Behjati and Ahmed Elmokashfi},
journal= {arXiv preprint arXiv:1610.07700},
year = {2016}
}