This post and the following ones propose a training in OTAWA programming. They require a working installation of OTAWA and the ##otawa-config## utility to be accessible on the current execution path. This may be checked by typing the following in…