Font Size:
a
A
A
Keyword [concurrency verification]
Result: 1 - 4 | Page: 1 of 1
1.
Certifying Concurrent Porgrams Using Transactional Memory
2.
Verification Of Low-level Concurrent Code With Several Synchronization Mechanisms
3.
An Operational Relaxed Memory Model And Program Logic For Concurrency Verification
4.
Counting Proof-optimization And Implementation Of Program Verification Algorithm
<<First
<Prev Next>
Last>>
Jump to