Shared Memory Access
generation of YICES Code for the “shared memory access” problem in multi-core platform architectures (first with Println - Code Generator)
(from redmine: issue id 722, created on 2012-03-15, closed on 2012-06-11)
- Relations:
- parent #720 (closed)