...
机译:用时间积分验证分离逻辑中联盟发现实现的正确性和摊销的复杂性
INRIA, Paris, France|CNRS, LRI, Orsay, France|Univ Paris Sud, Orsay, France;
INRIA, Paris, France;
Verification; Union-Find; Separation logic; Time credits;
机译:验证联盟的正确性和摊销复杂性 - 查找分离逻辑的实现与时间信用
机译:VST-Floyd:一种分离逻辑工具,用于验证C程序的正确性
机译:摊销的复杂度已验证
机译:机器检查的高效联合发现的正确性和摊销复杂性的验证
机译:Coq中基于分离逻辑的程序验证
机译:药物订单复杂性对前瞻性药物命令审查和验证时间的影响
机译:用时间积分验证分离逻辑中联盟发现实现的正确性和摊销的复杂性