Concurrent computing; Semantics; Automata; Games; Vegetation; Encoding; Data models;
机译:用于高度并发数据结构的集成规范和验证技术
机译:使用基于反例片段的规范放宽进行验证:模块化/并行线性混合自动机的情况
机译:Nek5000正则化k-ω湍流模型在高阶数据和PEPT数据中的应用和验证
机译:使用树自动机验证高阶函数
机译:用于验证并发数据结构的组成抽象
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:叶茂自动机,适用于高阶并发