鲁兹别·法拉博德;文森佐·格瓦西;乌韦·格拉塞尔 CoreASM：一个可扩展的ASM执行引擎。 （英语） 兹比尔1118.68544 芬丹。通知。 77，编号1-2，71-103（2007）。 摘要：我们介绍了一项使抽象状态机（ASM）可执行的新研究工作。其目的是为尽可能接近纯ASM数学定义的语言指定和实现一个执行引擎。本文介绍了引擎的一般架构，并对引擎用于适应任意背景、调度策略和新规则形式的扩展机制进行了高级描述。 引用于9文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：核心ASM;抽象状态机;规范语言;可执行规范 软件：系统C;核心ASM;法尔科 PDF格式BibTeX公司 XML格式引用 \textit{R.Farahbod}等人，Fundam。通知。77，编号1--2，71-103（2007；Zbl 1118.68544）