Private vs. shared variables. Requesting a number of threads. Initializing private variables. Worksharing. The for directive and clauses. The collapse clause. Recognizing loop dependencies.
Slides: 18_omp2.pdf
Formal methods, concurrency, and verification