distributed processing; formal specification; program control structures; program diagnostics; program verification; GPLs; automated verification mechanism; automatic verification; behavior type systems; communication-oriented control flow; computer software verification; distributed programs; entailment checking procedure; general purpose programming languages; imperative programming language; linear communication channels; protocol implementation correctness; protocol specification verification; protocol verification mechanism; separation logic static analysis technique; session type specification; Communication channels; Computer languages; Protocols; Safety; Software; Standards; Switches;
机译:自动验证密码协议线性逻辑规范的保密性
机译:重写逻辑中IEEE 1394的树识别协议的规范和验证
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:使用分离逻辑验证协议规范
机译:有限状态机器的演员协议规范和验证
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:自动验证密码协议线性逻辑规范的保密性
机译:使用时态逻辑指定和验证加密协议(进度报告)。