精化验证相关论文
随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机......
系统软件是计算机系统的核心部分,其安全性和可靠性是构建高可信计算机系统的关键。而形式化验证技术基于严格的数学理论和方法,能......
软件事务内存并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者，从而大大减轻高层程序员开发并发程序的负担。TL2是一......
