并发布尔程序相关硕士博士期刊学术论文 - 搜论网

并发布尔程序相关论文

基于符号计数器抽象的并发布尔程序验证研究

随着计算机技术的快速发展和应用需求，多线程并发程序成为现代程序设计的重要目标。由于线程之间的相互交错执行，可能会产生许多难以......

学位

并发布尔程序符号计数器抽象判定线程状态可覆盖树

基于线程迁移系统的并发布尔程序验证

随着多核处理器和并发技术的快速发展,并发多线程程序设计成为了软件开发的主流模式,并发系统被逐渐应用于多个领域,为人们的生活......

学位

并发布尔程序可达性分析线程迁移系统符号计数器抽象

看过本文同时还关注