科西莫·拉内夫;阿贝尔·加西亚 Java字节码的死锁检测。 （英语） Zbl 1508.68043号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 37-53 (2018). 摘要：本文介绍了一种Java程序死锁检测技术。该技术使用类型规则提取Java中间语言组件（Java字节码）之间依赖关系的无限状态抽象模型。随后通过我们定义的用于检测进程计算中死锁的解算器的扩展来分析模型。我们的技术得到了一个原型验证器的补充，该验证器还涵盖了大多数Java特性。关于整个系列，请参见[Zbl 1392.68017号]. 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 软件：线程安全;斯卡拉;Checkmate公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{A.Garcia}，莱克特。注释计算。科学。10855，37-53（2018；Zbl 1508.68043） 全文： 内政部 arXiv公司