Directive-based parallel programming. Fork-join parallelism. Basic syntax of OpenMP directives in C. Compiling and running a C/OpenMP program. The parallel directive. Getting the number of threads and thread ID. Hello, world.
Slides: 17_omp1.pdf
Formal methods, concurrency, and verification