搜索结果: 1-1 共查到“计算机科学技术 Formal methods”相关记录1条 . 查询时间(0.094 秒)
Using Formal Methods to Verify Transactional Abstract Concurrency Control
Transactional Memory Formal Verification SAT
2014/12/18
Concurrent application design and implementation is more important than ever in today's multi-core processor world. Transactional Memory (TM) Concurrent application design and implementation is more i...