会议论文《基于层次化时间STM软件设计的形式化验证》发表于2013年全国理论计算机科学学术年会，探讨了在时间敏感系统中如何利用形式化方法验证层次化时间STM（Software Transactional Memory）的设计。文章提出了一个形式化模型，用于确保多线程环境下的事务一致性与实时性要求，为复杂系统的可靠性和正确性提供了理论支持。
文档为pdf格式，0.38MB，总共5页。
举报
