...
机译:交互式系统差异隐私的形式验证(扩展摘要)
Differential PrivacyVerificationFormal MethodsPrivacyBisimulation;
机译:规范和验证交互式系统中任务管理的正式方法
机译:基于扩展加权推动系统的信息基访问控制子集的正式验证
机译:交互式JSON模式推断的类型系统(扩展摘要)
机译:扩展的摘要:支持可靠的分布式系统的架构模式的形式验证
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:一种人机交互系统的形式化验证方法
机译:交互式系统差异隐私的形式验证(扩展摘要)