Man pages matching name pbesinfo in section 1:

pbesinfo.1.en

debian 10 / mcrl2