一个通用的基于语言的框架，用于规范和验证不透明性概念
摘要：不透明度：离散事件系统的状态和语言基础 一般的不透明度框架 基于语言和状态的不透明度概念 基于语言的验证方法 基于状态的不透明度转化为基于语言的方法 当前状态和初始状态不透明度的统一结果 K步骤不透明度的语言观点 K步骤不透明度的语言验证方法 运行时间和空间复杂度的显著减少
作者：Andrew Wintenberg, Matthew Blischke, St''ephane Lafortune, Necmiye Ozay
论文ID：2103.10501
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-10