...
机译:基于重写的运行时验证技术
Department of Computer Science, University of Illinois at Urbana-Champaign;
runtime analysis; rewriting; verification;
机译:通过基于图重写的模型转换的声明性描述进行自动验证
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:无重写的HyperLTL的基于重写的运行时验证
机译:分区全局地址空间语言和运行时库中用于软件事务存储的编译器和运行时技术
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:基于重写的运行时验证技术