High level architecture; Computer science; Fault tolerant computing; Models; Systems engineering; Verification; Aadl(architectural analysis and description language); Agree(assume guarantee reasoning environment); Distributed agreement; Distributed systems; Formal methods; Kind; Model checking; Quasi-synchronous; Sysml; Uppaal; Pe63781d; Wuafrlaset12rc;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:网络投票系统的正式和半正式验证
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:对嵌入式系统正式建模和验证方法和工具的比较分析。 概率方法
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:免疫数据质量审核:验证免疫监测系统的质量和一致性。
机译:探索基于FpGa的数字系统的形式验证方法。