亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 20年的模态和混合规范。 （英语） Zbl 1169.68498号 牛市。欧洲协会。计算。科学。EATCS公司 95, 94-129 (2008). 摘要：二十年前，模态规范和混合规范被提出作为系统行为的抽象模型。在本文中，我们解释了此类规范的性质和用途，将它们与其他形式联系起来，展示了它们的一些已建立的应用程序，并提到了一些现有的工具支持。我们还介绍了这些应用程序下决策问题的一些最新复杂性结果，并列出了一些剩余的开放问题。 引用于18文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人，公牛。欧洲协会。计算。科学。EATCS 95，94-129（2008年；兹bl 1169.68498）