CSP; JCSP; KeY; Java; JML; shared resources; verification; model-driven; concurrency; message passing;
机译:UML交互模型驱动的Java程序运行时验证
机译:模型驱动的Java代码重构
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:从经过验证的PVS规范生成可验证的Java代码
机译:使用Z形式化Java字节码验证程序。
机译:基于资源导向架构的模型驱动方法快速部署智能空间
机译:使用Java Bytecode验证的基本路径生成BIRS代码的验证条件