机译:使用归纳定理证明者对两个功能程序的等效性检查
机译:交互式推导形式正确的功能程序的工具支持
机译:洪水预警,监测和救援系统的正式建模,证明和模型检查
机译:证明弱规律IP的功能正确性 - 以正式财产检查为例
机译:证明堆操作程序正确性的自动技术。
机译:加强现有的正规家庭护理以改善和维持老年人的功能状态:在爱尔兰医疗机构中实施移动护理(CTM)计划的可行性研究的方案
机译:证明弱可编程Ip的功能正确性 - 一个正式财产检查的案例研究
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.