形式方法中的量论文集
计算机科学中的逻辑
2012-12-17 v1 形式语言与自动机理论
机器学习
软件工程
摘要
本卷收录了2012年8月28日在法国巴黎举行的形式方法中的量研讨会（QFM 2012）的论文集。该研讨会是第18届形式方法研讨会（FM 2012）的附属活动。研讨会的重点在于建模、验证和综合中的量。形式方法的现代应用需要对时间、资源或概率等量进行形式化推理。标准的形式方法和工具在建模（和验证）定性性质（即某些事件是否会发生）方面已经非常出色。在过去几年中，这些方法和工具已扩展到涵盖定量方面，尤其产生了诸如UPPAAL（用于实时系统）、PRISM（用于概率系统）和PHAVer（用于混合系统）等工具。然而，在这些工具能够应用于它们所瞄准的工业应用之前，仍有大量工作要做。
引用
@article{arxiv.1212.3454,
title = {Proceedings Quantities in Formal Methods},
author = {Uli Fahrenberg and Axel Legay and Claus Thrane},
journal= {arXiv preprint arXiv:1212.3454},
year = {2012}
}