...
机译:验证正式规范中的时序一致性
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:基于定理证明检查对象-Z正式规范的一致性
机译:旨在自动生成用于UML一致性验证的正式规范
机译:JVM及其字节码验证程序的正式规范和验证。
机译:在马达加斯加的病原体毛细线虫中的已发表结果的一致性:对Kolby等人的正式评论。快速反应以评估在马达加斯加的野生两栖类种群中两栖类真菌(Batrachochytrium dendrobatidis)和鼻病毒的存在
机译:通过测试验证形式规范的一致性和有效性
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术