Program verification(Computers) ; Specifications ; Approach control ; Data flow analysis ; Algorithms ; Parallel programming ; Exhausting ; Construction;
机译:具有类型状态和访问权限的规范自动验证
机译:关于基于访问许可的规范用于程序验证的调查
机译:使用URI权限的Android中访问控制的正式规范
机译:使用访问权限和Typestate验证可快照树
机译:Rosetta规范转换的自动验证方法
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:使用访问权限和类型状态验证可快照树