Course word for formal methods in High Performance Computing