机译:从形式模型综合可验证的并发Java组件
Univ Politecn Madrid, Sch Comp Sci & Engn, E-28660 Madrid, Spain;
IMDEA Software Inst, Madrid 28223, Spain;
Univ Politecn Madrid, Sch Comp Sci & Engn, E-28660 Madrid, Spain;
Univ Politecn Madrid, Sch Comp Sci & Engn, E-28660 Madrid, Spain;
CSP; JCSP; KeY; Java; JML; Shared resources; Verification; Model-driven; Concurrency; Message passing;
机译:Enterprise JavaBeans〜TM组件集成框架的形式化建模
机译:用于检查并发Java组件的模型的框架
机译:基于并发故障分析的并发Java组件验证方法
机译:安全和可验证的并发Java程序设计
机译:通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。
机译:Monte-Carlo Metropolis Ising模型的螺纹Java并发实现
机译:并发Java程序的安全可验证设计
机译:Enterprise JavaBeans(Tm)组件集成框架的形式化建模