Software testing; Java; Runtime; Writing; Software; Specification languages; History;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:JML中的JAVACARD API的规范朝着正式规范和applet和API实现的验证
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:基于形式属性运行时验证的自适应服务组合
机译:高保证运行时验证面临的挑战。