PAWS：一种用于加权系统分析的工具
形式语言与自动机理论
2017-07-14 v1
摘要
PAWS 是一个用于分析加权自动机和条件转移系统行为的工具。PAWS 的核心基于一种通用实现，用于检查加权自动机中的语言等价性以及条件转移系统中的互模拟。该架构允许使用任意用户定义的半环。新的半环可以在运行时生成，并且用户可以依赖众多自动化技术为 PAWS 的算法创建新的半环结构。基本的半环（如分配完备格和分式域）可以通过指定少量参数来定义，更特殊的半环可以从其他半环生成，或使用内置的半环生成器从零开始定义。在最一般的情况下，用户可以通过编程（在 C# 中）定义半环的基本运算和求解线性方程的程序，并在 PAWS 提供的分析工具中使用其新生成的半环。
引用
@article{arxiv.1707.04125,
title = {PAWS: A Tool for the Analysis of Weighted Systems},
author = {Barbara König and Sebastian Küpper and Christina Mika},
journal= {arXiv preprint arXiv:1707.04125},
year = {2017}
}
备注
In Proceedings QAPL 2017, arXiv:1707.03668